Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pascal Redou, Sébastien Kerdélo, Gireg Desmeulles, Jean François Abgrall, Vincent Rodin, Jacques Tisseau. Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems. In 21st International Workshop on Principles of Advanced and Distributed Simulation (PADS 07), June 12-15, 2007, San Diego, California, USA. pages 93-104, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Pascal Redou' in GoogleThis author has not been identified. Look up 'Sébastien Kerdélo' in GoogleThis author has not been identified. Look up 'Gireg Desmeulles' in GoogleThis author has not been identified. Look up 'Jean François Abgrall' in GoogleThis author has not been identified. Look up 'Vincent Rodin' in GoogleThis author has not been identified. Look up 'Jacques Tisseau' in Google

runs on WebDSL