@TechReport{KNPS99,
author={M. Kwiatkowska and G. Norman and D. Parker and R. Segala},
title={Symbolic Model Checking of Concurrent Probabilistic Systems Using {MTBDD}s and {S}implex},
institution={School of Computer Science, University of Birmingham},
year = {1999},

type={},
number={CSR-99-1},
address={},
_month={January},
note={},
key={}
}