Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Claessen, Koen ; Hähnle, Reiner ; Maartensson, Johan
Hrsg.: Sutcliffe, Geoff ; Pelletier, Jef ; Suttner, Christian (2002)
Verification of Hardware Systems with First-Order Logic.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum