Authors: | Yoo, Haiseung |
Title: | Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese |
Language (ISO): | de |
Subject Headings: | Model-Checking Fehlerdiagnose Strategie-Synthese Fixpunkt mu-Kalkül |
URI: | http://hdl.handle.net/2003/24689 http://dx.doi.org/10.17877/DE290R-12684 |
Issue Date: | 2007-08-30T10:06:47Z |
Appears in Collections: | LS 05 Programmiersysteme |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Diss.Yoo.Final.pdf | DNB | 1.25 MB | Adobe PDF | View/Open |
This item is protected by original copyright |
This item is protected by original copyright rightsstatements.org