A New Model Checking Approach for Verifying Agent Communication Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. A New Model Checking Approach for Verifying Agent Communication Protocols. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada. pages 1586-1590, IEEE, 2006. [doi]

This author has not been identified. Look up 'Jamal Bentahar' in GoogleThis author has not been identified. Look up 'Bernard Moulin' in GoogleThis author has not been identified. It may be one of the following persons:

John-Jules Ch. Meyer

Look up 'John-Jules Ch. Meyer' in Google

runs on WebDSL