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