Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha. Diagnosability verification using LTL model checking. Discrete Event Dynamic Systems, 32(3):399-433, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.