Details for the publication SongFZ15.

Lei Song, Yuan Feng (), Lijun Zhang: Decentralized Bisimulation for Multiagent Systems. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, pages 209-217, 2015. URL BIB