Media type: Electronic Conference Proceeding Title: Beyond SAT and BDD based model checking Contributor: Biere, Armin [Author] imprint: ETH Zürich, Department of Computer Science, Institute of Computer Systems, 2001 Language: English DOI: https://doi.org/20.500.11850/145485; https://doi.org/10.3929/ethz-a-004242413 Keywords: SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS) ; SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME) ; computer science ; Data processing Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted