Search Sciweavers | Sciweavers

942 search results - page 64 / 189

» Interrupt Timed Automata

click to vote

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

15 years 6 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

15 years 6 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

15 years 6 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

15 years 6 months ago

Download groups.csail.mit.edu

Frits W. Vaandrager, Nancy A. Lynch

claim paper

Read More »

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers