Beyond SAT and BDD based model checking

Metadata Label Value
Autor(en): Biere, Armin
Verlag: ETH Zürich, Department of Computer Science, Institute of Computer Systems
Zitierweise:

Biere, Armin. Beyond SAT and BDD based model checking. ETH Zürich, Department of Computer Science, Institute of Computer Systems (2001). http://dx.doi.org/10.3929/ethz-a-004242413

Dokumententyp: Tagungsbeiträge  
Dokumente: Text (99.50KB)
Import to Mendeley

Detailansicht

Metadaten Beschreibung
Title Beyond SAT and BDD based model checking
Author(s) Biere, Armin
Corporate Author Eidgenössische Technische Hochschule (Zürich)
Institut für Computersysteme
Publication Place Zürich
Publisher ETH Zürich, Department of Computer Science, Institute of Computer Systems
Publication Date 2001
Notes Workshop on Computer Aided Design and Test - BDDs versus SAT, 28.01.2001-02.02.2001, Dagstuhl, Germany
Language English
DOI http://dx.doi.org/10.3929/ethz-a-004242413
Subject(s) Computersysteme
Keyword(s) SYSTEMANALYSE
SYSTEMENTWICKLUNG
SYSTEMENTWURF
COMPUTERSYSTEME
Organisational Unit Institut für Computersysteme
Online Publication Date 2001
Beschreibung Dateiname MIME Type Grösse
Text   eth-24396-01.pdf application/pdf 99.50KB
Abstract Views und Downloads
Views 81  abstracts
Downloads 158  downloads

Abstract Views und Downloads nach Land
United States Views 12  abstracts
Downloads 40  downloads
Views 25  abstracts
Downloads 28  downloads
China Views 13  abstracts
Downloads 13  downloads
Germany Views abstracts
Downloads 11  downloads
United Kingdom Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Ethiopia Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Fri, 18 Apr 2008, 23:07:51 CET