piwik-script

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

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Facebook weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Twitter weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    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