@PhDThesis{Kam18,
author={Nishanthan Kamaleson},
title={Model Reduction Techniques for Probabilistic Verification of Markov Chains},
school={University of Birmingham},
year={2018},

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