@inproceedings{KMNP02,
  author = "M. Kwiatkowska and R. Mehmood and G. Norman and D. Parker",
  booktitle = "Proc. Workshop on Parallel and Distributed Model Checking (PDMC'02)",
  month = "August",
  publisher = "Elsevier",
  series = "Electronic Notes in Theoretical Computer Science",
  title = "A Symbolic Out-of-Core Solution Method for {Markov} Models",
  url = "http://qav.comlab.ox.ac.uk/papers/pdmc02.pdf",
  volume = "68.4",
  year = "2002",
}