Model checking multiagent systems (1998)

by M Benerecetti, F Giunchiglia, L Serafini
Venue:J. Log. Comput