|
[DM06]
A. Donaldson and A. Miller.
Symmetry Reduction for Probabilistic Model Checking using Generic Representatives.
In Proc. 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), volume 4218 of LNCS, pages 9-23, Springer.
October 2006.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at www.springerlink.com.
|
|
Available from:
http://www.dcs.gla.ac.uk/people/personal/alice/publications.html
|
