%0 Conference Paper %1 conf/qest/HuthPW10 %A Huth, Michael %A Piterman, Nir %A Wagner, Daniel %B QEST %D 2010 %I IEEE Computer Society %K %P 161-170 %T p-Automata: New Foundations for Discrete-Time Probabilistic Verification. %U http://dblp.uni-trier.de/db/conf/qest/qest2010.html#HuthPW10 %@ 978-0-7695-4188-4

@inproceedings{conf/qest/HuthPW10, added-at = {2023-12-14T15:56:18.000+0100}, author = {Huth, Michael and Piterman, Nir and Wagner, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/24845da82b9e1a6b56417b1f2e5c79fe6/admin}, booktitle = {QEST}, crossref = {conf/qest/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2010.29}, interhash = {f16b1b38da8aa21225073a1bd22cd7fe}, intrahash = {4845da82b9e1a6b56417b1f2e5c79fe6}, isbn = {978-0-7695-4188-4}, keywords = {}, pages = {161-170}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T15:56:18.000+0100}, title = {p-Automata: New Foundations for Discrete-Time Probabilistic Verification.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2010.html#HuthPW10}, year = 2010 }