Skip to main content
English
Deutsch
Log In
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
All of Eldorado
FAQ
Policy
Home
Sonderforschungsbereiche
Sonderforschungsbereich (SFB) 559
Trace analysis - gain insight through modelchecking and cycle reduction
Trace analysis - gain insight through modelchecking and cycle reduction
Loading...
Files
Technical Report 06007.pdf
(639.2 KB)
Date
2006-06-23
Authors
Kemper, Volker
Tepper, Carsten
Journal Title
Journal ISSN
Volume Title
Publisher
SFB 559
Abstract
Description
Table of contents
Keywords
Citation
URI
http://hdl.handle.net/2003/24372
http://dx.doi.org/10.17877/DE290R-8119
Collections
Sonderforschungsbereich (SFB) 559
Full item page
