Automatic Symmetry Detection for Model Checking Using Computational Group Theory.
File(s)fm2005.pdf (209.68 KB)
Accepted version
Author(s)
Donaldson, AF
Miller, A
Type
Conference Paper
Editor(s)
Fitzgerald, JA
Hayes, IJ
Tarlecki, A
Date Issued
2005-12-31
ISBN
3-540-27882-6
Publisher
Springer
Start Page
481
End Page
496
Journal / Book Title
FM
Volume
3582
Copyright Statement
© Springer-Verlag 2005. The final publication is available at link.springer.com
Description
27.06.14 KB. Ok to add to accepted version to spiral, 12 month embargo elapsed.
Identifier
http://www.informatik.uni-trier.de/~ley/db/conf/fm/fm2005.html