http://www.cs.tu-bs.de/kolloquium/firley.htm

Montag 15.12.03, 16.00 Uhr

Ort:Mühlenpfordtstr. 23, IZ Raum 251, 2. OG Vortragender:Thomas Firley TU Braunschweig, Inst. für Software Thema: Berechnung abstrakter Modelle für die Verifikation reaktiver Systeme

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