Dettaglio pubblicazione
2014, Proceedings of the 29th Italian Conference on Computational Logic, Pages 84-98
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems (04a Atto di comunicazione a congresso)
Marco Montali, Diego Calvanese, DE GIACOMO Giuseppe
keywords