Items where authors include "Filho, M. S. Conserva"
Jump to: Article
Number of items: 1.
Article
Filho, M. S. Conserva, Oliveira, Marcel Vinicius Medeiros, Sampaio, A. C. A. et al. (1 more author) (2018) Compositional and Local Livelock Analysis for CSP. Information Processing Letters. ISSN 0020-0190