Grabowski, J.2022-03-022022-03-0220003-8265-7491-5https://publica.fraunhofer.de/handle/publica/136996Formale Beschreibungstechniken für verteilte Systeme. 10. GI/ITC-Fachgespräch