Briola, D., Mascardi, V., Ancona, D. (2014). Distributed runtime verification of JADE and Jason Multiagent systems with prolog. In Proceedings of the 29th Italian Conference on Computational Logic, CILC 2014 (pp.319-323). CEUR-WS.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.