Trace analysis - gain insight through modelchecking and cycle reduction

Kurzanzeige
dc.contributor.authorKemper, Volker
dc.contributor.authorTepper, Carsten
dc.date.accessioned2007-06-13T15:51:15Z
dc.date.available2007-06-13T15:51:15Z
dc.date.issued2006-06-23
dc.identifier.issn1612-1376
dc.identifier.urihttp://hdl.handle.net/2003/24372
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-8119
dc.language.isoende
dc.publisherSFB 559de
dc.relation.ispartofseriesTechnical Report;06007en
dc.subject.ddc620
dc.titleTrace analysis - gain insight through modelchecking and cycle reductionen
dc.typeTextde
dc.type.publicationtypereport
dcterms.accessRightsopen access
eldorado.dnb.deposittrue

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild
Name:
Technical Report 06007.pdf
Größe:
639.2 KB
Format:
Adobe Portable Document Format
Beschreibung:
DNB
Herunterladen

Lizenzbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild
Name:
license.txt
Größe:
1.93 KB
Format:
Item-specific license agreed upon to submission
Beschreibung:
Herunterladen

Sammlungen

Sonderforschungsbereich (SFB) 559