%0 Conference Paper %1 conf/lics/BaierBBBG08 %A Baier, Christel %A Bertrand, Nathalie %A Bouyer, Patricia %A Brihaye, Thomas %A Größer, Marcus %B LICS %D 2008 %I IEEE Computer Society %K %P 217-226 %T Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. %U http://dblp.uni-trier.de/db/conf/lics/lics2008.html#BaierBBBG08 %@ 978-0-7695-3183-0

@inproceedings{conf/lics/BaierBBBG08, added-at = {2023-12-14T15:12:59.000+0100}, author = {Baier, Christel and Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas and Größer, Marcus}, biburl = {https://www.bibsonomy.org/bibtex/2676ff9b2f3fac49903cd7c57320b2fed/admin}, booktitle = {LICS}, crossref = {conf/lics/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.25}, interhash = {e875c2fa77a5c986a79c23a176325e1d}, intrahash = {676ff9b2f3fac49903cd7c57320b2fed}, isbn = {978-0-7695-3183-0}, keywords = {}, pages = {217-226}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T15:12:59.000+0100}, title = {Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2008.html#BaierBBBG08}, year = 2008 }