%0 Conference Paper %1 conf/mbmv/WimmerKHB08 %A Wimmer, Ralf %A Kortus, Alexander %A Herbstritt, Marc %A Becker, Bernd %B MBMV %D 2008 %E Scholl, Christoph %E Disch, Stefan %I Shaker %K dblp %P 99-108 %T The Demand for Reliability in Probabilistic Verification. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2008.html#WimmerKHB08

@inproceedings{conf/mbmv/WimmerKHB08, added-at = {2012-06-28T00:00:00.000+0200}, author = {Wimmer, Ralf and Kortus, Alexander and Herbstritt, Marc and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d00ae2721f20c4c662f4b80fa784a2f4/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2008}, editor = {Scholl, Christoph and Disch, Stefan}, interhash = {349d98527ebbb8a0304403a4e23250a6}, intrahash = {d00ae2721f20c4c662f4b80fa784a2f4}, keywords = {dblp}, pages = {99-108}, publisher = {Shaker}, timestamp = {2016-02-02T14:12:45.000+0100}, title = {The Demand for Reliability in Probabilistic Verification.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2008.html#WimmerKHB08}, year = 2008 }