loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Edinburgh, Scotland, UK
September 17-September 19
ISBN: 0-7695-2883-X
ASCII Text
x 
 
Alastair F. Donaldson, Alice Miller, David Parker, "GRIP: Generic Representatives in PRISM," Quantitative Evaluation of Systems, International Conference on, pp. 115-116, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2007.30,
author = {Alastair F. Donaldson and Alice Miller and David Parker},
title = {GRIP: Generic Representatives in PRISM},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2883-X},
pages = {115-116},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2007.30},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - GRIP: Generic Representatives in PRISM
SN - 0-7695-2883-X
SP115
EP116
A1 - Alastair F. Donaldson,
A1 - Alice Miller,
A1 - David Parker,
PY - 2007
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Alastair F. Donaldson, Codeplay Software Ltd., UK
Alice Miller, University of Glasgow, UK
David Parker, Oxford University, UK
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications.
Citation:
Alastair F. Donaldson, Alice Miller, David Parker, "GRIP: Generic Representatives in PRISM," qest, pp.115-116, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.