![](/img/cover-not-exists.png)
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers
Santoro, Leonardo P.M., Moreira, Marcos V., Basilio, João C.Volume:
77
Language:
english
Journal:
Automatica
DOI:
10.1016/j.automatica.2016.11.026
Date:
March, 2017
File:
PDF, 753 KB
english, 2017