@InProceedings{KMNP02,
author={M. Kwiatkowska and R. Mehmood and G. Norman and D. Parker},
title={A Symbolic Out-of-Core Solution Method for {Markov} Models},
booktitle={Proc. Workshop on Parallel and Distributed Model Checking (PDMC'02)},
year={2002},

editor={},
pages={},
organization={},
publisher={Elsevier},
series={Electronic Notes in Theoretical Computer Science},
volume={68.4},
address={},
_month={August},
note={},
key={}
}