Animated specifications of computational societies

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},
}