Intern
    Lehrstuhl für Informatik V - Technische Informatik

    Öffentliche Disputation von Christian Appold

    31.03.2016

    im Rahmen seines Promotionsverfahrens.

    Titel der Dissertation: Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme

    Prüfer: Glaßer, Kolla, Scholl

    Die Disputation findet am Freitag, 8. April 2016 um 14.30 Uhr im A003 im Informatikgebäude, Am Hubland statt.

    Zurück

    Kontakt

    Lehrstuhl für Informatik V (Technische Informatik)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-86701
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. M2