Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf Zimmermann

Download743.37 KB
 Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems

Discovery

58920131X

URN

urn:nbn:de:gbv:3:2-8152

DOI

ISBN

ISSN

Koordinaten

Skalierung

Autorin / Autor

Both, Andreas
Zimmermann, Wolf

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

Gesamttitel

Band

Zeitschriftentitel

Bandtitel

Beschreibung

Schlagwörter

Zitierform

enthaltene Monographien

enthalten in mehrteiligem Werk

Vorgänger dieser Zeitschrift

Nachfolger dieser Zeitschrift