Search Sciweavers | Sciweavers

289 search results - page 9 / 58

» Regular Linear Temporal Logic

114

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

15 years 11 months ago

Download web.informatik.uni-bonn.de

Joachim Klein, Christel Baier

claim paper

Read More »

109

click to vote

CAV
2003
Springer

106views Hardware» more CAV 2003»

Enhanced Vacuity Detection in Linear Temporal Logic

15 years 11 months ago

Download www.doc.ic.ac.uk

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber...

claim paper

Read More »

141

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 10 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

136

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

15 years 10 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

123

click to vote

LFCS
1994
Springer

75views Artificial Intelligence» more LFCS 1994»

Propositional Linear Temporal Logic and Language Homomorphisms

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers