Search Sciweavers | Sciweavers

942 search results - page 64 / 189

» Interrupt Timed Automata

123

click to vote

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

15 years 10 months ago

Download www.brics.dk

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

claim paper

Read More »

137

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 10 months ago

Download www.brics.dk

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

claim paper

Read More »

140

click to vote

LICS
1997
IEEE

110views Automated Reasoning» more LICS 1997»

A Kleene Theorem for Timed Automata

15 years 10 months ago

Download www-verimag.imag.fr

Eugene Asarin, Paul Caspi, Oded Maler

claim paper

Read More »

111

click to vote

CONCUR
1992
Springer

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

Action Transducers and Timed Automata

15 years 10 months ago

Download groups.csail.mit.edu

Frits W. Vaandrager, Nancy A. Lynch

claim paper

Read More »

130

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers