%0 Conference Paper %1 conf/stacs/CastroKP15 %A Castro, Pablo F. %A Kilmurray, Cecilia %A Piterman, Nir %B STACS %D 2015 %E Mayr, Ernst W. %E Ollinger, Nicolas %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 211-223 %T Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2015.html#CastroKP15 %V 30 %@ 978-3-939897-78-1

@inproceedings{conf/stacs/CastroKP15, added-at = {2018-08-23T00:00:00.000+0200}, author = {Castro, Pablo F. and Kilmurray, Cecilia and Piterman, Nir}, biburl = {https://www.bibsonomy.org/bibtex/2a0b7d2fe6bac340f53e9f442e9604e76/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2015}, editor = {Mayr, Ernst W. and Ollinger, Nicolas}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2015.211}, interhash = {d2f4fb5a0d1b3aa1fbbe5acef2025c9b}, intrahash = {a0b7d2fe6bac340f53e9f442e9604e76}, isbn = {978-3-939897-78-1}, keywords = {dblp}, pages = {211-223}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:48:39.000+0100}, title = {Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2015.html#CastroKP15}, volume = 30, year = 2015 }