@inproceedings{0f8737d08ac211dbbb3d000ea68e967b,
title = "The Power of Reachability Testing for Timed Automata",
author = "Luca Aceto and Patricia Bouyer and A. Burgueno and Larsen, {Kim Guldstrand}",
note = "ISSN ; 0302-9743; The Power of Reachability Testing for Timed Automata ; Conference date: 19-05-2010",
year = "1998",
language = "English",
isbn = "3540653848",
pages = "245--256",
editor = "{Arvind, V. : Ramanujam, R. (eds.)}",
booktitle = "Foundations of Software Technology and Theoretical Computer Science : Proceedings of the 18th Conference, Chennai, India, December 17-19, 1998",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1530",
}