@InProceedings{DKP13,
author={C. Dehnert, J.-P. Katoen and D. Parker},
title={{SMT}-Based Bisimulation Minimisation of {Markov} Models},
booktitle={Proc. 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13)},
year={2013},

editor={R. Giacobazzi and J. Berdine and I. Mastroeni},
pages={28--47},
organization={},
publisher={Springer},
series={LNCS},
volume={7737},
address={},
month={},
note={},
key={}
}