Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.
File(s)
ATVA2006.pdf (477.25 KB)
Accepted version
Author(s)
Donaldson, AF
Miller, A
Type
Conference Paper
Editor(s)
Graf, S
Zhang, W
Date Issued
2006-12-31
URI
DOI
ISBN
3-540-47237-1
Publisher
Springer
Start Page
9
End Page
23
Journal / Book Title
ATVA
Volume
4218
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 expired
Identifier
http://www.informatik.uni-trier.de/~ley/db/conf/atva/atva2006.html
Publisher URL