Multiagent systems verification via model checking

Stringa bibliografica F. Giunchiglia, M. Benerecetti, L. Serafini, "Multiagent systems verification via model checking" in Validation and Verification of Knowledge-Based Systems, Aachen: CEUR, 1999 -(CEUR Workshop Proceedings). Atti di: European Workshop on Validation and Verification of Knowledge-Based Systems, Povo (TN), Italy, 6-8 June 1998. - URL: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-16/

Dettaglio

Note bibliografiche: Workshop held at KR'98