Items where authors include "Marinho, R."

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

Proceedings Paper

Conserva Filho, M. S., Marinho, R., Mota, A. et al. (1 more author) (2018) Analysing RoboChart with probabilities. In: Massoni, Tiago and Mousavi, Mohammad Reza, (eds.) Formal Methods:Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. 21st Brazilian Symposium on Formal Methods, SBMF 2018, 26-30 Nov 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , BRA , pp. 198-214.

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