Prof. W.Penczek, Polish Ac. Of Sc.and Inst. f. CS,Univ. Warsaw (über Frau Prof. Goltz) VerICS 2004: A Model Checker for Real Time and Multi-Agent-Systems

Siehe auch: http://www.cs.tu-bs.de/kolloquium/penczek.htm

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