%0 Conference Paper %1 conf/lics/EisentrautHZ10 %A Eisentraut, Christian %A Hermanns, Holger %A Zhang, Lijun %B LICS %D 2010 %I IEEE Computer Society %K dblp %P 342-351 %T On Probabilistic Automata in Continuous Time. %U http://dblp.uni-trier.de/db/conf/lics/lics2010.html#EisentrautHZ10 %@ 978-0-7695-4114-3

@inproceedings{conf/lics/EisentrautHZ10, added-at = {2014-11-22T00:00:00.000+0100}, author = {Eisentraut, Christian and Hermanns, Holger and Zhang, Lijun}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c3c4b469475d61ae3ed144ebbd31275c/dblp}, booktitle = {LICS}, crossref = {conf/lics/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2010.41}, interhash = {35969f8b70680181b664ce6b5b27f0d9}, intrahash = {c3c4b469475d61ae3ed144ebbd31275c}, isbn = {978-0-7695-4114-3}, keywords = {dblp}, pages = {342-351}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:32:41.000+0100}, title = {On Probabilistic Automata in Continuous Time.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2010.html#EisentrautHZ10}, year = 2010 }