Papers

Alastair F. Donaldson, Alice Miller, David Parker. GRIP: Generic Representatives in PRISM. In Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems (QEST'07), pages 115-116. IEEE Computer Society, 2007.

Bibtex:

@inproceedings{DonaldsonMP_QEST2007,
   title      = {{GRIP}: Generic Representatives in {PRISM}},
   author     = {Alastair F. Donaldson and Alice Miller and David
                 Parker},
   booktitle  = {Proceedings of the 4th International Conference
                 on the Quantitative Evaluation of Systems (QEST'07)},
   pages      = {115-116},
   publisher  = {IEEE Computer Society},
   year       = {2007}
}