Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Tobias Seufert, M. Sc. Tobias Seufert, M. Sc.
Adresse Technische Fakultät
Albert-Ludwigs-Universität
Georges-Köhler-Allee 51
79110 Freiburg
Büro Gebäude 51, Raum 02...032
Telefon +49 (0) 761 203 8149
eMail seufert@informatik.uni-freiburg.de
Website http://www.informatik.uni-freiburg.de/~seufert


Jahre: 2017

    2017

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Christoph Scholl
      Sequential Verification Using Reverse PDR
      2017 MBMV, Bremen