14 Sep
2004
14 Sep
'04
12:55 p.m.
Im Anhang auch als Word-Dokument (doc)
Informatik-Kolloquium Zeit: Montag 04.10.04, 15.00 Uhr Ort: Mühlenpfordtstr. 23, IZ Hörsaal M 160, 1. OG
Vortragender: Prof. Wojciech Penczek, (über Frau Prof. Goltz) Polish Academy of Science und Institute for Computer Science, Univ. of Warsaw
Thema: VerICS 2004: A Model Checker for Real Time and Multi-agent Systems
M.Kielhorn,Ch.Schweda Inst. für Betriebssysteme und Rechnerverbund TU Braunschweig Mühlenpfordtstr. 23 38106 Braunschweig
Tel: 0531 391 3283 Fax: 0531 391 5936