Rigorosum Annu GMEINER MU

Posted on 03.11.2015

Der Dekan und der Studiendekan der Fakultät für Informatik laden zu dieser öffentlichen Abschlussprüfung (Präsentation und Verteidigung der Dissertation) im Sitzungszimmer des Dekanats der Fakultät für Informatik, 1040 Wien, Gusshausstraße 30/Erzherzog-Johann-Platz 1, 4. Stock statt ein und ersuchen um zahlreiches Erscheinen.

Thema: Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Abstract, PDF)