TU Darmstadt / ULB / TUbiblio

Uses of Many-Valued Deduction in Hardware Verification

Hähnle, Reiner and Kernig, Werner
Kropf, Th. and Kumar, R. and Schmid, D. (eds.) (1993):
Uses of Many-Valued Deduction in Hardware Verification.
In: Proc. ITG/GI Workshop Formale Methoden zum Entwurf korrekter Systeme, Bad Herrenalb, Interner Bericht 10/93, Fakult"{a}t füt Informatik, Universit"{a}t Karlsruhe, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1993
Editors: Kropf, Th. and Kumar, R. and Schmid, D.
Creators: Hähnle, Reiner and Kernig, Werner
Title: Uses of Many-Valued Deduction in Hardware Verification
Language: German
Title of Book: Proc. ITG/GI Workshop Formale Methoden zum Entwurf korrekter Systeme, Bad Herrenalb, Interner Bericht 10/93, Fakult"{a}t füt Informatik, Universit"{a}t Karlsruhe
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle93a
Export:

Optionen (nur für Redakteure)

View Item View Item