@MastersThesis{Nim10,
author={V. Nimal},
title={Statistical Approaches for Probabilistic Model Checking},
school={Oxford University Computing Laboratory},
year={2010},

type={{MSc Mini-project Dissertation}},
address={},
month={},
note={},
key={}
}