Fleischmann, A.Holleczek, PeterKoch, J.Kragl, G.2019-05-022019-05-021984https://dl.gi.de/handle/20.500.12116/22051deEine Spezifikationstechnik für verteilte SystemeText/Journal Article