1. Eldorado
  2. Sonderforschungsbereiche
  3. Sonderforschungsbereich (SFB) 559
Autor(en): Kemper, Volker
Tepper, Carsten
Titel: Trace analysis - gain insight through modelchecking and cycle reduction
Sprache (ISO): en
URI: http://hdl.handle.net/2003/24372
http://dx.doi.org/10.17877/DE290R-8119
Erscheinungsdatum: 2006-06-23
Provinienz: SFB 559
Enthalten in den Sammlungen:Sonderforschungsbereich (SFB) 559

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Technical Report 06007.pdfDNB639.2 kBAdobe PDFÖffnen/Anzeigen


Diese Ressource ist urheberrechtlich geschützt.

Lizenzbestimmungen ansehen
Zur Langanzeige


Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org