Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle eine Bestandsaufnahme - Thees, Joachim 1968-; Gotzhein, Reinhard (Univ. Fachbereich Informatik, 1997)