Se encontraron 1 resultados
Filtros: keyword es formal specification [Restablecer todos los filtros]
M
"Reasoning about Distributed Knowledge-Transforming Peer Interactions",
IEEE Transactions on Knowledge and Data Engineering, vol. 23, issue 9, pp. 1419-1431, 2011.
Abstract