Towards model checking interpreted systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessio Lomuscio, Franco Raimondi, Marek J. Sergot. Towards model checking interpreted systems. In The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings. pages 1054-1055, ACM, 2003. [doi]

This author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Franco Raimondi' in GoogleThis author has not been identified. Look up 'Marek J. Sergot' in Google

runs on WebDSL