Model Checking for ACL Compliance Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc-Philippe Huget, Michael Wooldridge. Model Checking for ACL Compliance Verification. In Frank Dignum, editor, Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Volume 2922 of Lecture Notes in Computer Science, pages 75-90, Springer, 2003. [doi]

This author has not been identified. Look up 'Marc-Philippe Huget' in GoogleThis author has not been identified. Look up 'Michael Wooldridge' in Google

runs on WebDSL