Zsigmond Pap, Dániel Varró. Static Safety Analysis of UML Action Semantics for Critical Systems Development. In Peter Dadam, Manfred Reichert, editors, INFORMATIK 2004 - Informatik verbindet, Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. Volume 50 of LNI, pages 57-61, GI, 2004.
Abstract is missing.