@book{ Solr-249333, title = {Abstraction, Refinement and Proof for Probabilistic Systems [E-Book]}, series = {Monographs in Computer Science,}, author = {McIver, Annabelle.}, editor = {Morgan, Carroll.}, editor = {McIver, Annabelle.}, address = {New York, NY}, publisher = {Springer Science+Business Media, Inc.}, year = {2005}, url = {http://dx.doi.org/10.1007/b138392} }