%0 Conference Paper %1 conf/vmcai/FaellaTM02 %A Faella, Marco %A Torre, Salvatore La %A Murano, Aniello %B VMCAI %D 2002 %E Cortesi, Agostino %I Springer %K dblp %P 94-108 %T Automata-Theoretic Decision of Timed Games. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2002.html#FaellaTM02 %V 2294 %@ 3-540-43631-6

@inproceedings{conf/vmcai/FaellaTM02, added-at = {2017-05-24T00:00:00.000+0200}, author = {Faella, Marco and Torre, Salvatore La and Murano, Aniello}, biburl = {https://www.bibsonomy.org/bibtex/2d53207c29d12f25a9b6edc02b9cd8ba1/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2002}, editor = {Cortesi, Agostino}, ee = {https://doi.org/10.1007/3-540-47813-2_7}, interhash = {59df9f2f04ec484d6c6349f16f38a5fa}, intrahash = {d53207c29d12f25a9b6edc02b9cd8ba1}, isbn = {3-540-43631-6}, keywords = {dblp}, pages = {94-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:57.000+0200}, title = {Automata-Theoretic Decision of Timed Games.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2002.html#FaellaTM02}, volume = 2294, year = 2002 }