Beyond SAT and BDD based model checking

Download

Open access

Autor(in)

Biere, Armin

Datum

2001

Typ

ETH Bibliographie

yes

Altmetrics

Download

Rechte / Lizenz

Persistenter Link

https://doi.org/10.3929/ethz-a-004242413

Publikationsstatus

published

Externe Links

Herausgeber(in)

Eidgenössische Technische Hochschule Institut für Computersysteme Zürich, /

Verlag

ETH Zürich, Department of Computer Science, Institute of Computer Systems

Konferenz

Workshop on Computer Aided Design and Test - BDDs versus SAT, Dagstuhl, Germany, January 28 - February 2, 2001

Thema

SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)

Organisationseinheit

02641 - Institut für Computersysteme / Computer Systems Institute

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection