Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen. The Power of Reachability Testing for Timed Automata. In Vikraman Arvind, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Volume 1530 of Lecture Notes in Computer Science, pages 245-256, Springer, 1998.
@inproceedings{AcetoBBL98,
title = {The Power of Reachability Testing for Timed Automata},
author = {Luca Aceto and Patricia Bouyer and Augusto Burgueño and Kim Guldstrand Larsen},
year = {1998},
tags = {testing},
researchr = {https://researchr.org/publication/AcetoBBL98},
cites = {0},
citedby = {0},
pages = {245-256},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
editor = {Vikraman Arvind and Ramaswamy Ramanujam},
volume = {1530},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65384-8},
}