@InProceedings{KPZM04,
author={M. Kwiatkowska and D. Parker and Y. Zhang and R. Mehmood},
title={Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking},
booktitle={Proc. 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04)},
year={2004},

editor={D. DeGroot and P. Harrison},
pages={123--130},
organization={},
publisher={IEEE Computer Society Press},
series={},
volume={},
address={},
_month={October},
note={},
key={}
}