Model checking multiagent systems: a preliminary report

Bibliographic citation M. Benerecetti, F. Giunchiglia, L. Serafini, "Model checking multiagent systems: a preliminary report" in AIIA NOTIZIE, v. 11, n. 3 (1998), p. 38-44

Detail