A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.

File Description SizeFormat 
donaldson_miller_amast2006.pdfAccepted version154.82 kBAdobe PDFDownload
Title: A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.
Author(s): Donaldson, AF
Miller, A
Item Type: Conference Paper
Editor(s): Johnson, M
Vene, V
Publication Date: 31-Dec-2006
URI: http://hdl.handle.net/10044/1/14319
DOI: http://dx.doi.org/10.1007/11784180_29
ISBN: 3-540-35633-9
Publisher: Springer
Start Page: 374
End Page: 380
Journal / Book Title: AMAST
Volume: 4019
Copyright Statement: © Springer-Verlag Berlin Heidelberg 2006. The final publication is available at link.springer.com
Publisher URL: http://www.informatik.uni-trier.de/~ley/db/conf/amast/amast2006.html
Appears in Collections:Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons