Entwurf und Implementierung eines rechnergestützten Werkzeugs zur automatischen Synthese fehlerbehebender Kommunikationsprotokolle
By: von Matthias Wieland
Contributors: Universität Karlsruhe
Published: 1992
Language: ger
Number of pages: 131
Notes: Thesis (doctoral)--Universität Karlsruhe, 1992.