@InProceedings{DMP07,
author={A. Donaldson and A. Miller and D. Parker},
title={{GRIP}: Generic Representatives in {PRISM}},
booktitle={Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07)},
year={2007},

editor={},
pages={115-116},
organization={},
publisher={IEEE Computer Society},
series={},
volume={},
address={},
month={},
note={},
key={}
}