Items where authors include "Otoni, R."

Export as [feed] Atom [feed] RSS
Number of items: 1.

Proceedings Paper

Otoni, R., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2017) Local Analysis of Determinism for CSP. In: Cavalheiro, S. and Fiadeiro, J., (eds.) Formal Methods:Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 107-124.

This list was generated on Sun Mar 24 11:48:07 2024 GMT.