A Tool Architecture to Verify Properties of Multiagent System at Runtime.

Denis Meron Bruno Mermet A Tool Architecture to Verify Properties of Multiagent System at Runtime. 201-216 2006 conf/promas/2006 PROMAS http://dx.doi.org/10.1007/978-3-540-71956-4_12 db/conf/promas/promas2006.html#MeronM06