BourahlaB05'

BibTeX

@article{DBLP:journals/informaticaSI/BourahlaB05,
  author    = {Mustapha Bourahla and
               Mohamed Benmohamed},
  title     = {Model Checking Multi-Agent Systems},
  journal   = {Informatica (Slovenia)},
  volume    = {29},
  number    = {2},
  year      = {2005},
  pages     = {189-198},
  ee        = {http://www.informatica.si/PDF/29-2/07_Bourahla-Model\%20Checking\%20Multi-Agent...pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}