Paper

Institute of Information and Computing Sciences, Utrecht University, 2005

H. Aldewereld, J. Vázquez-Salceda, F. Dignum, and J.-J. Meyer. Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Institute of Information and Computing Sciences, Utrecht University, 2005.

2005

Created by ACM worker at 2019-04-09 17:27:46.0.
Simplified Graph of Associations
Word Cloud
Quid