Formal Reasoning on a Web Coordination System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio. Formal Reasoning on a Web Coordination System. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Volume 4739 of Lecture Notes in Computer Science, pages 329-336, Springer, 2007. [doi]

This author has not been identified. Look up 'Eloy J. Mata' in GoogleThis author has not been identified. Look up 'Pedro Álvarez' in GoogleThis author has not been identified. Look up 'José A. Bañares' in GoogleThis author has not been identified. Look up 'Julio Rubio' in Google

runs on WebDSL