Technische Universität Braunschweig
Institute für Informatik
Einladung zum
Informatik-Kolloquium
Thomas Firley:
Mitarbeitervortrag: Berechnung abstrakter Modelle für die Verifikation reaktiver Systeme
| Redner Info | TU Braunschweig, Institut für Software |
| Beginn | 15.12.2003, 16:00 Uhr |
| Ort | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2. OG, Raum 251 |
Die Dozenten der Informatik
