%0 Conference Paper %1 conf/qest/PolgreenWHA16 %A Polgreen, Elizabeth %A Wijesuriya, Viraj B. %A Haesaert, Sofie %A Abate, Alessandro %B QEST %D 2016 %E Agha, Gul %E Houdt, Benny Van %I Springer %K dblp %P 35-51 %T Data-Efficient Bayesian Verification of Parametric Markov Chains. %U http://dblp.uni-trier.de/db/conf/qest/qest2016.html#PolgreenWHA16 %V 9826 %@ 978-3-319-43424-7

@inproceedings{conf/qest/PolgreenWHA16, added-at = {2017-05-26T00:00:00.000+0200}, author = {Polgreen, Elizabeth and Wijesuriya, Viraj B. and Haesaert, Sofie and Abate, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/272dca92a1d4897abef69411f7790f3a2/dblp}, booktitle = {QEST}, crossref = {conf/qest/2016}, editor = {Agha, Gul and Houdt, Benny Van}, ee = {https://doi.org/10.1007/978-3-319-43425-4_3}, interhash = {3373648d00027c544cf0813476a39bcf}, intrahash = {72dca92a1d4897abef69411f7790f3a2}, isbn = {978-3-319-43424-7}, keywords = {dblp}, pages = {35-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:23:09.000+0200}, title = {Data-Efficient Bayesian Verification of Parametric Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2016.html#PolgreenWHA16}, volume = 9826, year = 2016 }