%0 Conference Paper %1 conf/fsttcs/BaierBBBG07 %A Baier, Christel %A Bertrand, Nathalie %A Bouyer, Patricia %A Brihaye, Thomas %A Größer, Marcus %B FSTTCS %D 2007 %E Arvind, Vikraman %E Prasad, Sanjiva %I Springer %K dblp %P 179-191 %T Probabilistic and Topological Semantics for Timed Automata. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2007.html#BaierBBBG07 %V 4855 %@ 978-3-540-77049-7

@inproceedings{conf/fsttcs/BaierBBBG07, added-at = {2017-05-24T00:00:00.000+0200}, author = {Baier, Christel and Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas and Größer, Marcus}, biburl = {https://www.bibsonomy.org/bibtex/2ef373a94b4e91c97902acad1b72eb354/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2007}, editor = {Arvind, Vikraman and Prasad, Sanjiva}, ee = {https://doi.org/10.1007/978-3-540-77050-3_15}, interhash = {0f891702589ef663d254175309418181}, intrahash = {ef373a94b4e91c97902acad1b72eb354}, isbn = {978-3-540-77049-7}, keywords = {dblp}, pages = {179-191}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:25.000+0200}, title = {Probabilistic and Topological Semantics for Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2007.html#BaierBBBG07}, volume = 4855, year = 2007 }