%0 Conference Paper %1 conf/concur/HahnLST015 %A Hahn, Ernst Moritz %A Li, Guangyuan %A Schewe, Sven %A Turrini, Andrea %A Zhang, Lijun %B CONCUR %D 2015 %E Aceto, Luca %E de Frutos-Escrig, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 354-367 %T Lazy Probabilistic Model Checking without Determinisation. %U http://dblp.uni-trier.de/db/conf/concur/concur2015.html#HahnLST015 %V 42 %@ 978-3-939897-91-0

@inproceedings{conf/concur/HahnLST015, added-at = {2023-12-12T19:39:03.000+0100}, author = {Hahn, Ernst Moritz and Li, Guangyuan and Schewe, Sven and Turrini, Andrea and Zhang, Lijun}, biburl = {https://www.bibsonomy.org/bibtex/2d85797b944df3e6b430f89512bf52a39/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2015}, editor = {Aceto, Luca and de Frutos-Escrig, David}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.354}, interhash = {23f58ad42cd25f978c5d3d0926b01f46}, intrahash = {d85797b944df3e6b430f89512bf52a39}, isbn = {978-3-939897-91-0}, keywords = {}, pages = {354-367}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T19:39:03.000+0100}, title = {Lazy Probabilistic Model Checking without Determinisation.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2015.html#HahnLST015}, volume = 42, year = 2015 }