> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Elektronischer Konferenzbericht Titel: Beyond SAT and BDD based model checking Beteiligte: Biere, Armin [Verfasser:in] Erschienen: ETH Zürich, Department of Computer Science, Institute of Computer Systems, 2001 Sprache: Englisch DOI: https://doi.org/20.500.11850/145485; https://doi.org/10.3929/ethz-a-004242413 Schlagwörter: Data processing ; computer science ; SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS) ; SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME) Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet