- Sprache
-
Englisch
- Anmerkungen
-
Halle (Saale), Univ., Diss., 1999
- Identifier
-
960520406
Thema
Logiksynthese ; Verifikation ; Boolesche Funktion ; NP-vollständiges Problem ; OBDD ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Binary decision diagrams for random Boolean functions
Dicomplemented lattices : a contextual generalization of Boolean algebras
A generalized process for the verification and validation of models and simulation results
Software verification for programmable logic controllers
On σ-filtered [sigma-filtered] Boolean algebras
Verified Java bytecode verification
Symbolic timing diagrams : a visual formalism for model verification
A lattice-theoretic framework for circular assume-guarantee reasoning
Complexity and partitions
Cryptographically sound analysis of security protocols
Model checking pushdown systems
Formale Fehlerbaumanalyse
Binary decision diagrams for random Boolean functions
Dicomplemented lattices : a contextual generalization of Boolean algebras
A generalized process for the verification and validation of models and simulation results
Software verification for programmable logic controllers
On σ-filtered [sigma-filtered] Boolean algebras
Verified Java bytecode verification
Symbolic timing diagrams : a visual formalism for model verification
A lattice-theoretic framework for circular assume-guarantee reasoning
Complexity and partitions
Cryptographically sound analysis of security protocols
Model checking pushdown systems
Formale Fehlerbaumanalyse
Binary decision diagrams for random Boolean functions
Dicomplemented lattices : a contextual generalization of Boolean algebras
A generalized process for the verification and validation of models and simulation results
Software verification for programmable logic controllers
On σ-filtered [sigma-filtered] Boolean algebras
Verified Java bytecode verification
Symbolic timing diagrams : a visual formalism for model verification
A lattice-theoretic framework for circular assume-guarantee reasoning
Complexity and partitions
Cryptographically sound analysis of security protocols
Model checking pushdown systems