Christos Dimou, Fani A. Tzima, Andreas L. Symeonidis, Pericles A. Mitkas. Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation. In Longbing Cao, Yifeng Zeng, Bo An, Andreas L. Symeonidis, Vladimir Gorodetsky, Frans Coenen, Philip S. Yu, editors, Agents and Data Mining Interaction - 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers. Volume 9145 of Lecture Notes in Computer Science, pages 64-78, Springer, 2014. [doi]
Abstract is missing.