K. Okroy, Manfred Kersken. Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen. In Günther Schmidt, editor, Fachtagung Prozeßrechner 1977, GMR-GI-GFK, Augsburg, 7. und 8. März 1977, Proceedings. Volume 7 of Informatik-Fachberichte, pages 312-323, Springer, 1977.
Abstract is missing.