@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},
}