@phdthesis{ethos-11579,
  title = {Model checking GSM-based multi-agent systems},
  author = {Pavel Gonzalez},
  year = {2014},
  url = {http://hdl.handle.net/10044/1/39038},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-11579},
  cites = {0},
  citedby = {0},
  school = {Imperial College London, UK},
}