@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 -- P. Panangaden Festschrift},
  publisher = {Springer Verlag},
  year = {2014},
  pages = {40--58},
  url = {./publications/bcAKNP14.pdf}