![](/img/cover-not-exists.png)
Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications
Shengbing Jiang, R. KumarYear:
2006
Language:
english
DOI:
10.1109/tase.2005.860613
File:
PDF, 491 KB
english, 2006