Search Sciweavers | Sciweavers

3229 search results - page 72 / 646

» The Theory of Timed Automata

139

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

16 years 9 days ago

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

151

click to vote

FORMATS
2004
Springer

94views Formal Methods» more FORMATS 2004»

On Timed Automata with Input-Determined Guards

16 years 4 days ago

Download drona.csa.iisc.ernet.in

Deepak D'Souza, Nicolas Tabareau

claim paper

Read More »

140

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

16 years 4 days ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

128

click to vote

JELIA
2004
Springer

107views Artificial Intelligence» more JELIA 2004»

Time Granularities and Ultimately Periodic Automata

16 years 4 days ago

Download users.dimi.uniud.it

Davide Bresolin, Angelo Montanari, Gabriele Puppis

claim paper

Read More »

120

click to vote

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers