Heinz Beilner, H. Scholten. Strukturierte Modellbeschreibung und strukturierte Modellanalyse: Konzepte des Modellierungswerkzeugs HIT. In Heinz Beilner, editor, Messung, Modellierung und Bewertung von Rechensystemen, 3. GI/NTG-Fachtagung, Dortmund, 1.-3. Oktober 1985. Volume 110 of Informatik-Fachberichte, pages 65-81, Springer, 1985.
Abstract is missing.