Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Alexander Konrad
Adresse Technische Fakultät
Albert-Ludwigs-Universität
Georges-Köhler-Allee 51
79110 Freiburg
Büro Gebäude 51, Raum 02...031
Telefon +49 (0) 761 203 8088
eMail konrada@informatik.uni-freiburg.de


Jahre: 2020

    2020

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Alexander Konrad
      Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification
      2020 Design Automation Conf., Seiten: 1 - 6