20
IRUS TotalDownloads
Altmetric
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.
| File | Description | Size | Format | |
|---|---|---|---|---|
 donaldson_miller_amast2006.pdf | Accepted version | 154.82 kB | Adobe PDF | View/Open |
| Title: | A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. |
| Authors: | Donaldson, AF Miller, A |
| Item Type: | Conference Paper |
| Editors: | Johnson, M Vene, V |
| Issue 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 |