@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={} }