Wenjie Lin, Michael McGrath, Ingy Ramzy, Ten-Hwang Lai, David Lee. Detecting job interference in large distributed multi-agent systems - A formal approach. In Filip De Turck, Yixin Diao, Choong Seon Hong, Deep Medhi, Ramin Sadre, editors, 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), Ghent, Belgium, May 27-31, 2013. pages 411-418, IEEE, 2013. [doi]
Abstract is missing.