%0 Conference Paper %1 conf/cav/AlurFH94 %A Alur, Rajeev %A Fix, Limor %A Henzinger, Thomas A. %B CAV %D 1994 %E Dill, David L. %I Springer %K dblp %P 1-13 %T A Determinizable Class of Timed Automata. %U http://dblp.uni-trier.de/db/conf/cav/cav94.html#AlurFH94 %V 818 %@ 3-540-58179-0

@inproceedings{conf/cav/AlurFH94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Alur, Rajeev and Fix, Limor and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/2084e2a2329afbcec29cc4b21250c4b3a/dblp}, booktitle = {CAV}, crossref = {conf/cav/1994}, editor = {Dill, David L.}, ee = {https://doi.org/10.1007/3-540-58179-0_39}, interhash = {1f004c976c654ceddd69c36fea1f330a}, intrahash = {084e2a2329afbcec29cc4b21250c4b3a}, isbn = {3-540-58179-0}, keywords = {dblp}, pages = {1-13}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:50.000+0200}, title = {A Determinizable Class of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav94.html#AlurFH94}, volume = 818, year = 1994 }