Search Sciweavers | Sciweavers

1246 search results - page 57 / 250

» Recursive Timed Automata

118

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

159

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

16 years 1 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

133

click to vote

SEFM
2005
IEEE

93views Software Engineering» more SEFM 2005»

Specifying Urgency in Timed I/O Automata

16 years 17 days ago

Download www.win.tue.nl

Biniam Gebremichael, Frits W. Vaandrager

claim paper

Read More »

143

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

16 years 16 days ago

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

156

click to vote

FORMATS
2004
Springer

94views Formal Methods» more FORMATS 2004»

On Timed Automata with Input-Determined Guards

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers