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

Kurzanzeige
cbs.date.changed2021-02-18
cbs.date.creation2009-01-13
cbs.picatypeOa
cbs.publication.displayformHalle,S., 2008
dc.contributor.authorBoth, Andreas
dc.contributor.authorZimmermann, Wolf
dc.date.accessioned2025-06-02T12:38:37Z
dc.date.issued2008
dc.format.extentOnline-Ressource (PDF-Datei: 20 S., 0,72 MB)
dc.genrebook
dc.identifier.ppn58920131X
dc.identifier.urihttps://epflicht.bibliothek.uni-halle.de/handle/123456789/15604
dc.identifier.urnurn:nbn:de:gbv:3:2-8152
dc.identifier.vl-id63892
dc.language.isoeng
dc.relation.ispartofseriesTechnische Berichte ; 2008,1 ppn:584751885
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004
dc.titleAutomatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf Zimmermann
dc.typeBook
dspace.entity.typeMonograph
local.accessrights.itemAnonymous
local.openaccesstrue

Dateien

Originalbündel
Gerade angezeigt 1 - 1 von 1
Vorschaubild
Name:
urn_nbn_de_gbv_3_2-8152.pdf
Größe:
743.37 KB
Format:
Adobe Portable Document Format
Beschreibung:
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
Herunterladen

Sammlungen

E-Book