Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese
Loading...
Date
2007-08-30T10:06:47Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Table of contents
Keywords
Model-Checking, Fehlerdiagnose, Strategie-Synthese, Fixpunkt, mu-Kalkül