Search Sciweavers | Sciweavers

3229 search results - page 74 / 646

» The Theory of Timed Automata

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

14 years 2 months ago

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

click to vote

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

14 years 1 months ago

Download www.brics.dk

Luca Aceto, Patricia Bouyer, Augusto Burgueñ...

claim paper

Read More »

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

14 years 1 months ago

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

click to vote

LICS
1997
IEEE

110views Automated Reasoning» more LICS 1997»

A Kleene Theorem for Timed Automata

14 years 1 months ago

Download www-verimag.imag.fr

Eugene Asarin, Paul Caspi, Oded Maler

claim paper

Read More »

click to vote

CONCUR
1992
Springer

112views Distributed And Parallel Com...» more CONCUR 1992»

Action Transducers and Timed Automata

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers