@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={}
}