Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
@inproceedings{DBLP:conf/atva/DonaldsonM06,
author = {Alastair F. Donaldson and
Alice Miller},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives},
booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {9-23},
publisher = {Springer},
year = {2006},
doi = {10.1007/11901914_4},
}