Entwurf und Implementierung eines rechnergestützten Werkzeugs zur automatischen Synthese fehlerbehebender Kommunikationsprotokolle - Wieland, Matthias (1992)
Karlsruhe, Univ., Diss., 1992