Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker. Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. In Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten, editors, Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Volume 8464 of Lecture Notes in Computer Science, pages 40-58, Springer, 2014. [doi]
@inproceedings{AbateKNP14,
title = {Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations},
author = {Alessandro Abate and Marta Z. Kwiatkowska and Gethin Norman and David Parker},
year = {2014},
doi = {10.1007/978-3-319-06880-0_2},
url = {http://dx.doi.org/10.1007/978-3-319-06880-0_2},
researchr = {https://researchr.org/publication/AbateKNP14},
cites = {0},
citedby = {0},
pages = {40-58},
booktitle = {Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday},
editor = {Franck van Breugel and Elham Kashefi and Catuscia Palamidessi and Jan Rutten},
volume = {8464},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-06879-4},
}