Verifiable Multi-agent Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge. Verifiable Multi-agent Programs. In Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni, editors, Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers. Volume 3067 of Lecture Notes in Computer Science, pages 72-89, Springer, 2003. [doi]

This author has not been identified. Look up 'Rafael H. Bordini' in GoogleThis author has not been identified. Look up 'Michael Fisher' in GoogleThis author has not been identified. Look up 'Willem Visser' in GoogleThis author has not been identified. Look up 'Michael Wooldridge' in Google

runs on WebDSL