4 Oct
2004
4 Oct
'04
8:24 a.m.
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