Ricardo Ribeiro

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electron. Notes Theor. Comput. Sci. 195 (2008)