@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={Panangaden Festschrift},
year={2014},

editor={F. van Breugel, E. Kashefi, C. Palamidessi and J. Rutten},
pages={40--58},
organization={},
publisher={Springer},
series={LNCS},
volume={8464},
address={},
month={},
note={},
key={}
}