Titelaufnahme

Titel
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf Zimmermann
VerfasserBoth, Andreas ; Zimmermann, Wolf
ErschienenHalle,S., 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008
UmfangOnline-Ressource (PDF-Datei: 20 S., 0,72 MB)
SpracheEnglisch
SerieTechnische Berichte ; 2008,1
URNurn:nbn:de:gbv:3:2-8152 
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar
Dateien
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems [0.72 mb]
Links
Nachweis
Klassifikation