Alexander Artikis, Jeremy Pitt, Marek J. Sergot. Animated specifications of computational societies. In The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings. pages 1053-1061, ACM, 2002. [doi]
@inproceedings{ArtikisPS02, title = {Animated specifications of computational societies}, author = {Alexander Artikis and Jeremy Pitt and Marek J. Sergot}, year = {2002}, doi = {10.1145/545056.545070}, url = {http://doi.acm.org/10.1145/545056.545070}, researchr = {https://researchr.org/publication/ArtikisPS02}, cites = {0}, citedby = {0}, pages = {1053-1061}, booktitle = {The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings}, publisher = {ACM}, }