Extending symmetry reduction by exploiting system architecture

Metadata only

Autor(in)

Datum

2009

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Buchtitel

Verification, Model Checking, and Abstract Interpretation

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

5403

Seiten / Artikelnummer

320 - 334

Verlag

Springer

Konferenz

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

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection