@MastersThesis{Kem06,
author={T. Kemna},
title={Bisimulation Minimisation and Probabilistic Model Checking},
school={University of Twente},
year={2006},

type={},
address={},
month={},
note={},
key={}
}