Verifiable Multi-agent Programs
 |
 |
Author = {Bordini, Rafael H. and Fisher, Michael and Visser, Willem and Wooldridge, Michael J.},
Booktitle = {Programming Multi-agent Systems},
Doi = {10.1007/978-3-540-25936-7_4},
Editor = {Dastani, Mehdi M. and Dix, J{\"u}rgen and El Fallah-Seghrouchni, Amal},
Isbn = {978-3-540-22180-7},
Note = {1st International Workshop (PROMAS 2003), Melbourne, Australia, 15~} # jul # {~2003. Selected Revised and Invited Papers},
Pages = {72--89},
Publisher = {Springer},
Series = {LNCS},
Title = {Verifiable Multi-agent Programs},
Url = {http://www.springerlink.com/content/f4hx00p4lbxby2c3/},
Volume = 3067,
Year = 2004}