David Harel;Dexter Kozen;Jerzy Tiuryn
The Weizmann Institute;Cornell University;University of Warsaw
MASL: A Logic for the Specification of Multiagent Real-Time Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V