José Antonio Marín Meseguer
According to our database1,
José Antonio Marín Meseguer
authored at least 1 paper
in 2006.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2020, "For the development of logical methods for design and verification of computational systems".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Coordinación Descentralizada de AGVs.
Proceedings of the Actas del VII Workshop de Agentes Físicos WAF'2006, 2006