Auch unter: http://www.cs.tu-bs.de/kolloquium/penczek.htm Im Anhang auch als Word-Dokument (doc)
-----Ursprüngliche Nachricht----- Von: Sekretariat [mailto:sek@ibr.cs.tu-bs.de] Gesendet: Dienstag, 14. September 2004 12:56 An: 'kolloq@ibr.cs.tu-bs.de' Betreff: Kolloquium am 04.10 Prof. Penczek
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