Stefan Greiner Gunter Bolch Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor Betriebssystems. 111-124 1996 11 Inform., Forsch. Entwickl. 3 db/journals/ife/ife11.html#GreinerB96