%0 Conference Paper %1 conf/vmcai/KattenbeltKNP09 %A Kattenbelt, Mark %A Kwiatkowska, Marta Z. %A Norman, Gethin %A Parker, David %B VMCAI %D 2009 %E Jones, Neil D. %E Müller-Olm, Markus %I Springer %K dblp %P 182-197 %T Abstraction Refinement for Probabilistic Software. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2009.html#KattenbeltKNP09 %V 5403 %@ 978-3-540-93899-6

@inproceedings{conf/vmcai/KattenbeltKNP09, added-at = {2017-06-15T00:00:00.000+0200}, author = {Kattenbelt, Mark and Kwiatkowska, Marta Z. and Norman, Gethin and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/2be7e2c9026b908dd37a0349319fc90d1/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2009}, editor = {Jones, Neil D. and Müller-Olm, Markus}, ee = {https://doi.org/10.1007/978-3-540-93900-9_17}, interhash = {71e3cf19ce357ca7a41499ce1326a2b7}, intrahash = {be7e2c9026b908dd37a0349319fc90d1}, isbn = {978-3-540-93899-6}, keywords = {dblp}, pages = {182-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:49.000+0200}, title = {Abstraction Refinement for Probabilistic Software.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2009.html#KattenbeltKNP09}, volume = 5403, year = 2009 }