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