@InProceedings{ZPK05a,
author={Y. Zhang and D. Parker and M. Kwiatkowska},
title={A Wavefront Parallelisation of {CTMC} Solution using {MTBDDs}},
booktitle={Proc. International Conference on Dependable Systems and Networks (DSN'05)},
year={2005},

editor={},
pages={732--742},
organization={},
publisher={IEEE Computer Society Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}