%0 Journal Article %1 journals/tcs/AcetoBBL03 %A Aceto, Luca %A Bouyer, Patricia %A Burgueño, Augusto %A Larsen, Kim Guldstrand %D 2003 %J Theor. Comput. Sci. %K dblp %N 1-3 %P 411-475 %T The power of reachability testing for timed automata. %U http://dblp.uni-trier.de/db/journals/tcs/tcs300.html#AcetoBBL03 %V 300

@article{journals/tcs/AcetoBBL03, added-at = {2021-02-17T00:00:00.000+0100}, author = {Aceto, Luca and Bouyer, Patricia and Burgueño, Augusto and Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/280befcec66f94648bf2a7c524953eeea/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00334-1}, interhash = {b35709df38dec609c1118242c9e6073e}, intrahash = {80befcec66f94648bf2a7c524953eeea}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-3}, pages = {411-475}, timestamp = {2024-04-08T18:41:07.000+0200}, title = {The power of reachability testing for timed automata.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs300.html#AcetoBBL03}, volume = 300, year = 2003 }