| Name | Klaus-Jürgen Englert, Dipl.-Inf. | |
| Adresse | Fakultät für angewandte Wissenschaften Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude 51 79110 Freiburg im Breisgau Deutschland |
|
| Telefon | ++49 +761 203-8140 | |
| Fax | ++49 +761 203-8142 | |
| englert@informatik.uni-freiburg.de |
Klaus-Jürgen Englert
Jahre: 2002
2002
nach oben zur Jahresübersicht- Klaus-Jürgen Englert, Rolf Drechsler, Bernd Becker
Verification of HDLs using Symbolic Set Representation
2002 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”