Extending Symmetry Reduction by Exploiting System Architecture

Thumbnail
Metadata only
Author
Trefler, Richard
Wahl, Thomas
Date
2009
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
Verification, model checking, and abstract interpretation : 10th international conference : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
5403
Pages / Article No.
320 - 334
Publisher
Springer
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics