Formal Specification of Multi-agent Systems by Using EUSMs

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal Specification of Multi-agent Systems by Using EUSMs. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 318-333, Springer, 2007. [doi]

Authors

Mercedes G. Merayo

This author has not been identified. Look up 'Mercedes G. Merayo' in Google

Manuel Núñez

This author has not been identified. Look up 'Manuel Núñez' in Google

Ismael Rodríguez

This author has not been identified. Look up 'Ismael Rodríguez' in Google