Modeling and solving diagnosis of discrete-event systems via satisfiability
Date
2007
Authors
Grastien, Alban
Anbulagan, Anbu
Rintanen, Jussi
Kelareva, Elena
Journal Title
Journal ISSN
Volume Title
Publisher
AAAI Press
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07)
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31