Ricardo Ribeiro

According to our database, Ricardo Ribeiro authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.

Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro

Proceedings of the Brazilian Symposium on Formal Methods, 2006