Manfred R. Jobmann. Modellbildung und -analyse von Rechensystemen mit Hilfe des Programmsystems MAOS. 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 51-64, Springer, 1985.
Abstract is missing.