Entwurf und Implementierung eines rechnergestützten Werkzeugs zur automatischen Synthese fehlerbehebender Kommunikationsprotokolle
Entwurf und Implementierung eines rechnergestützten Werkzeugs zur automatischen Synthese fehlerbehebender Kommunikationsprotokolle