Dear Spiral User, we appreciate your patience during this upgrade which is to benefit our userbase, improve their experience in Spiral, introduce improvements, fixes and maintaining our versioning for future updates. Please note if you encounter any issues in Spiral, please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Again, we thank you for your patience and support during the upgrade. Kind Regards, Spiral Upgrade Team.
 
Exact and Approximate Strategies for Symmetry Reduction in Model Checking.
File(s)
donaldson_miller_FM.pdf (246.41 KB)
Accepted version
Author(s)
Donaldson, AF
Miller, A
Type
Conference Paper
Editor(s)
Misra, J
Nipkow, T
Sekerinski, E
Date Issued
2006-12-31
URI
DOI
ISBN
3-540-37215-6
Publisher
Springer
Start Page
541
End Page
556
Journal / Book Title
FM
Volume
4085
Copyright Statement
© Springer-Verlag Berlin Heidelberg 2006. The final publication is available at link.springer.com
License URL
Description
27.06.14 KB. Ok to add accepted version to spiral, 12 month embargo elasped
Identifier
http://www.informatik.uni-trier.de/~ley/db/conf/fm/fm2006.html
Publisher URL