Wolisz, A.Schieferdecker, I.K.Rennoch, A.2022-03-092022-03-091997https://publica.fraunhofer.de/handle/publica/329575de004Formale Beschreibungstechniken für verteilte Systemeconference proceeding