Y. Xiang, X. Chen. Cooperative Verification of Agent Interface. In José A. Gámez, Antonio Salmerón, editors, First European Workshop on Probabilistic Graphical Models, 6-8 November - 2002 - Cuenca (Spain), Electronic Proceedings. 2002. [doi]
Abstract is missing.