Model Checking via Reachability Testing for Timed Automata (1997)
by
Augusto Burgueño
,
Kim G. Larsen
,
Luca Aceto
,
Luca Aceto
| Citations: | 38 - 13 self |
Document Versions
| Model Checking via Reachability Testing for Timed Automata – Augusto Burgueño, Kim G. Larsen, Luca Aceto, Luca Aceto — 1997 |
