%0 Conference Paper %1 conf/fsttcs/AcetoBBL98 %A Aceto, Luca %A Bouyer, Patricia %A Burgueño, Augusto %A Larsen, Kim Guldstrand %B FSTTCS %D 1998 %E Arvind, Vikraman %E Ramanujam, Ramaswamy %I Springer %K dblp %P 245-256 %T The Power of Reachability Testing for Timed Automata. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs98.html#AcetoBBL98 %V 1530 %@ 3-540-65384-8

@inproceedings{conf/fsttcs/AcetoBBL98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aceto, Luca and Bouyer, Patricia and Burgueño, Augusto and Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/2f5d68e3c02753de5c7c3d4ef3aeebb26/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1998}, editor = {Arvind, Vikraman and Ramanujam, Ramaswamy}, ee = {https://doi.org/10.1007/978-3-540-49382-2_22}, interhash = {9f785287cb78fb3cde1e4124939304cf}, intrahash = {f5d68e3c02753de5c7c3d4ef3aeebb26}, isbn = {3-540-65384-8}, keywords = {dblp}, pages = {245-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:08:53.000+0200}, title = {The Power of Reachability Testing for Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs98.html#AcetoBBL98}, volume = 1530, year = 1998 }