@MastersThesis{Hin05,
author={A. Hinton},
title={Software Project {M60}: Simulator for the Probabilistic Model Checker {PRISM}},
school={School of Computer Science, University of Birmingham},
year={2005},

type={{MEng Final Year Project Dissertation}},
address={},
month={},
note={},
key={}
}