Thieler-Mevissen, G.G.Thieler-Mevissen2022-03-072022-03-071987https://publica.fraunhofer.de/handle/publica/285513de004005006Anwendungen der Netztheorie zur formalen Systemspezifikationbook