Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf Zimmermann
Anzeigen / Download743.37 KB
Discovery
58920131X
URN
urn:nbn:de:gbv:3:2-8152
DOI
ISBN
ISSN
Autorin / Autor
Beiträger
Körperschaft
Erschienen
Halle,S., 2008
Umfang
Online-Ressource (PDF-Datei: 20 S., 0,72 MB)
Ausgabevermerk
Sprache
eng
Anmerkungen
Inhaltliche Zusammenfassung
Schriftenreihe
Technische Berichte ; 2008,1 ppn:584751885