%0 Conference Paper %1 conf/qest/FecherHPW08 %A Fecher, Harald %A Huth, Michael %A Piterman, Nir %A Wagner, Daniel %B QEST %D 2008 %I IEEE Computer Society %K %P 169-178 %T Hintikka Games for PCTL on Labeled Markov Chains. %U http://dblp.uni-trier.de/db/conf/qest/qest2008.html#FecherHPW08 %@ 978-0-7695-3360-5

@inproceedings{conf/qest/FecherHPW08, added-at = {2023-12-13T05:42:30.000+0100}, author = {Fecher, Harald and Huth, Michael and Piterman, Nir and Wagner, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2f5ae6564705d8c554f8d4e96ecf0ee0a/admin}, booktitle = {QEST}, crossref = {conf/qest/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2008.10}, interhash = {a5a5694d6f10f371da0ebd86079999e5}, intrahash = {f5ae6564705d8c554f8d4e96ecf0ee0a}, isbn = {978-0-7695-3360-5}, keywords = {}, pages = {169-178}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:42:30.000+0100}, title = {Hintikka Games for PCTL on Labeled Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2008.html#FecherHPW08}, year = 2008 }