@inproceedings{DBLP:conf/qest/DonaldsonMP07,
author = {Alastair F. Donaldson and
Alice Miller and
David Parker},
title = {{GRIP:} Generic Representatives in {PRISM}},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland, {UK}},
pages = {115-116},
publisher = {{IEEE} Computer Society},
year = {2007},
doi = {10.1109/QEST.2007.30},
}