@phdthesis{Wan06,
author={F. Wang},
title={Symbolic model checking for probabilistic real-time systems},
school={University of Birmingham},
year={2006},

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