Automatic Symmetry Detection for Model Checking Using Computational Group Theory
@inproceedings{DBLP:conf/fm/DonaldsonM05,
author = {Alastair F. Donaldson and
Alice Miller},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Automatic Symmetry Detection for Model Checking Using Computational Group Theory},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {481-496},
publisher = {Springer},
year = {2005},
doi = {10.1007/11526841_32},
}