Original language | English |
---|---|
Title of host publication | International Workshop on Principles of Diagnosis 2013 |
Pages | 59-64 |
Number of pages | 6 |
Publication status | Published - 2013 |
Exploiting Parse Trees in LTL Specification Diagnosis
Ingo Hans Pill, Thomas Quaritsch
Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review