Verification of Multiagent Systems via Unbounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek. Verification of Multiagent Systems via Unbounded Model Checking. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA. pages 638-645, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Magdalena Kacprzak' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in Google

runs on WebDSL