Bozena Wozna-Szczesniak. Checking EMTLK properties of timed interpreted systems via bounded model checking. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 1477-1478, IFAAMAS/ACM, 2014. [doi]