@inproceedings{AKNP14,
  author = {A. Abate and M. Kwiatkowska and G. Norman and D. Parker},
  title = {Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations},
  booktitle = {Horizons of the Mind. A Tribute to Prakash Panangaden},
volume={8464},
series={Lecture Notes in Computer Science},
  publisher = {Springer Verlag},
  year = {2014},
  editor={van Breugel, Franck and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan},
  pages = {40--58},
  isbn={978-3-319-06879-4},
doi={10.1007/978-3-319-06880-0_2},
url={http://dx.doi.org/10.1007/978-3-319-06880-0_2}
}