@InProceedings{KPR16,
author={Nishanthan Kamaleson and David Parker and Jonathan E. Rowe},
title={Finite-Horizon Bisimulation Minimisation for Probabilistic Systems},
booktitle={Proc. 2016 International Symposium on Model Checking of Software (SPIN'16)},
year={2016},

editors={Dragan Bo\check{s}na\check{c}ki and Anton Wijs},
pages={147-164},
organization={},
publisher={Springer},
series={LNCS},
volume={9641},
address={},
month={},
note={},
key={}
}