L. Mackert

Publication Activity (10 Years)

Years Active: 1979-1980
Publications (10 Years): 0

Publications

S. Keramidis, L. Mackert
Ein Kalkül zur Konstruktion deadlockfreier Systeme. ARCS (1980)
S. Keramidis, L. Mackert
Specification and Implementation of Parallel Activities on Abstract Objects. ICSE (1979)