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 und Übersetzerbau

Files in This Item:
File Description SizeFormat 
Diss.Yoo.Final.pdfDNB1.25 MBAdobe PDFView/Open


This item is protected by original copyright



All resources in the repository are protected by copyright.