%0 Conference Paper %1 conf/sfm/ForejtKNP11 %A Forejt, Vojtech %A Kwiatkowska, Marta Z. %A Norman, Gethin %A Parker, David %B SFM %D 2011 %E Bernardo, Marco %E Issarny, Valérie %I Springer %K dblp %P 53-113 %T Automated Verification Techniques for Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/sfm/sfm2011.html#ForejtKNP11 %V 6659 %@ 978-3-642-21454-7

@inproceedings{conf/sfm/ForejtKNP11, added-at = {2017-06-15T00:00:00.000+0200}, author = {Forejt, Vojtech and Kwiatkowska, Marta Z. and Norman, Gethin and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/297c996c7d09f66367717525485f4b196/dblp}, booktitle = {SFM}, crossref = {conf/sfm/2011}, editor = {Bernardo, Marco and Issarny, Valérie}, ee = {https://doi.org/10.1007/978-3-642-21455-4_3}, interhash = {1de7da746caa64fdde4dbe4752f84744}, intrahash = {97c996c7d09f66367717525485f4b196}, isbn = {978-3-642-21454-7}, keywords = {dblp}, pages = {53-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:51:36.000+0200}, title = {Automated Verification Techniques for Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2011.html#ForejtKNP11}, volume = 6659, year = 2011 }