DMCA

Software Project M60: Simulator for the Probabilistic Model Checker PRISM,” MEng Final Year Project Dissertation (2005)

by Andrew Hinton , Supervisor Prof , Marta Kwiatkowska
Citations:1 - 0 self