Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf Zimmermann
Loading...
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
dc.contributor.contributor
Other contributor
Publication history
Halle,S., 2008
Content
Online-Ressource (PDF-Datei: 20 S., 0,72 MB)
Edition
Language
eng
Comment
Abstract
Series
Technische Berichte ; 2008,1 ppn:584751885