Original language | English |
---|---|
Title of host publication | Proceedings of the 23rd International Workshop on Principles of Diagnosis |
Pages | 67-74 |
Number of pages | 8 |
Publication status | Published - 2012 |
An LTL SAT Encoding for Behavioral Diagnosis
Ingo Hans Pill, Thomas Quaritsch
Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review