![](/img/cover-not-exists.png)
Diagnosis of Active Systems by Automata-Based Reasoning Techniques
Gianfranco Lamperti, Marina Zanella, Paolo PoglianoVolume:
12
Language:
english
Pages:
21
DOI:
10.1023/a:1008319108717
Date:
May, 2000
File:
PDF, 658 KB
english, 2000