Trace analysis - gain insight through modelchecking and cycle reduction

Thumbnail Image

Files

Technical Report 06007.pdf (639.2 KB)

Date

2006-06-23

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

SFB 559

Alternative Title(s)

Abstract

Description

Table of contents

Keywords

Subjects based on RSWK

Citation

URI

http://hdl.handle.net/2003/24372
 http://dx.doi.org/10.17877/DE290R-8119

Collections

Sonderforschungsbereich (SFB) 559