A Lazy Approach to Symmetry Reduction

Thumbnail
Metadata only
Author
Wahl, Thomas
D'Silva, Vijay
Date
2009
Type
    Journal Article
Publication status
published
External links
Journal / series
Formal Aspects of Computing
Volume
22(6)
Pages / Article No.
713 - 733
Publisher
Springer
Subject
Model checking; Symmetry; Annotated Structure; Partition; Subsumption
Organisational unit
03422 - Gross, Thomas (emeritus) / Gross, Thomas (emeritus)  
More
Show all metadata
ETH Bibliography
yes
Altmetrics