@PhDThesis{Par02, author={D. Parker}, title={Implementation of Symbolic Model Checking for Probabilistic Systems}, school={University of Birmingham}, year={2002}, type={}, address={}, month={}, note={}, key={} }