1. Eldorado
  2. Sonderforschungsbereiche
  3. Sonderforschungsbereich (SFB) 559
Full metadata record
DC FieldValueLanguage
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-
Appears in Collections:Sonderforschungsbereich (SFB) 559

Files in This Item:
File Description SizeFormat 
Technical Report 06007.pdfDNB639.2 kBAdobe PDFView/Open


This item is protected by original copyright

View License
Show simple item record


This item is protected by original copyright rightsstatements.org