A Verification Framework for Agent Communication
- 作者Rogier M. Van Eijk; Frank S. De Boer; Wiebe Van Der Hoek; John-Jules Ch. Meyer
- 卷第6卷
- 期第2期
- 印刷ISSN1387-2532
- 电子ISSN1573-7454
- 文件大小558.08KB
- 发表时间2003-03
- DOI10.1023/a:1021836202093
- 页码185-219
同标题推荐
Index to Volume 31 Author Index2011
Index to volume 31 Author index2000
Index to Volume 31 Author/Title Index 2015Journal of the American Mosquito Control Association · 2015
Author Index to Volume to 31&NA;, · Survey of Anesthesiology · 1987
Author index to volume 31, 19931993
Author index to volume 31Linear Algebra and its Applications · 1980
Author index to volume 311974
Author index to volume 311979