Uni-Logo
English      
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Klaus-Jürgen Englert, Dipl.-Inf. 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
eMail englert@informatik.uni-freiburg.de

Klaus-Jürgen Englert

Jahre: 2002

    2002

    Icon: top 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”