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]
@inproceedings{BordiniFVW03,
title = {Verifiable Multi-agent Programs},
author = {Rafael H. Bordini and Michael Fisher and Willem Visser and Michael Wooldridge},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3067&spage=72},
researchr = {https://researchr.org/publication/BordiniFVW03},
cites = {0},
citedby = {0},
pages = {72-89},
booktitle = {Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers},
editor = {Mehdi Dastani and Jürgen Dix and Amal El Fallah-Seghrouchni},
volume = {3067},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22180-8},
}