The Power of Reachability Testing for Timed Automata

Luca Aceto, Patricia Bouyer, A. Burgueno, Kim Guldstrand Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

29 Citationer (Scopus)
OriginalsprogEngelsk
TitelFoundations of Software Technology and Theoretical Computer Science : Proceedings of the 18th Conference, Chennai, India, December 17-19, 1998 : Lecture Notes in Computer Science
RedaktørerArvind, V. : Ramanujam, R. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato1998
Udgave1530
Sider245-256
ISBN (Trykt)3540653848
StatusUdgivet - 1998
BegivenhedThe Power of Reachability Testing for Timed Automata -
Varighed: 19 maj 2010 → …

Konference

KonferenceThe Power of Reachability Testing for Timed Automata
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citationsformater