Model checking for ACL compliance verification

Marc-Philippe Huget, Michael Wooldridge
2003 Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03  
doi:10.1145/860575.860773 dblp:conf/atal/HugetW03 fatcat:zcjcy7wezver7grqr5jsnmnhfe