Extending symmetry reduction by exploiting system architecture

Metadata only

Author

Date

2009

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Verification, Model Checking, and Abstract Interpretation

Journal / series

Lecture Notes in Computer Science

Volume

5403

Pages / Article No.

320 - 334

Publisher

Springer

Event

10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009), Savannah, GA, USA, January 18-20, 2009

More

ETH Bibliography

yes

Altmetrics

Research Collection