Search Sciweavers | Sciweavers

1246 search results - page 57 / 250

» Recursive Timed Automata

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

120

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

15 years 11 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

105

click to vote

SEFM
2005
IEEE

93views Software Engineering» more SEFM 2005»

Specifying Urgency in Timed I/O Automata

15 years 10 months ago

Download www.win.tue.nl

Biniam Gebremichael, Frits W. Vaandrager

claim paper

Read More »

107

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

15 years 10 months ago

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

116

click to vote

FORMATS
2004
Springer

94views Formal Methods» more FORMATS 2004»

On Timed Automata with Input-Determined Guards

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers