| name | Klaus-Jürgen Englert, Dipl.-Inf. | |
| adress | Faculty of Applied Science Albert-Ludwigs-University Georges Köhler Allee, Building 51 79110 Freiburg im Breisgau Germany |
|
| telefon | ++49 +761 203-8140 | |
| fax | ++49 +761 203-8142 | |
| englert@informatik.uni-freiburg.de |
Klaus-Jürgen Englert
Years: 2002
2002
back to the year overview- 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”