%0 Conference Paper %1 conf/qest/DonaldsonMP07 %A Donaldson, Alastair F. %A Miller, Alice %A Parker, David %B QEST %D 2007 %I IEEE Computer Society %K dblp %P 115-116 %T GRIP: Generic Representatives in PRISM. %U http://dblp.uni-trier.de/db/conf/qest/qest2007.html#DonaldsonMP07 %@ 0-7695-2883-X

@inproceedings{conf/qest/DonaldsonMP07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Donaldson, Alastair F. and Miller, Alice and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/23c9f5abe1fcc347aea4ac2e392fbbb1b/dblp}, booktitle = {QEST}, crossref = {conf/qest/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2007.30}, interhash = {ad8084768b1d5fa31ad2694a2ddb5cce}, intrahash = {3c9f5abe1fcc347aea4ac2e392fbbb1b}, isbn = {0-7695-2883-X}, keywords = {dblp}, pages = {115-116}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:42.000+0200}, title = {GRIP: Generic Representatives in PRISM.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2007.html#DonaldsonMP07}, year = 2007 }