DBLP Record 'conf/aiccsa/BelalaB06'

BibTeX

@inproceedings{DBLP:conf/aiccsa/BelalaB06,
  author    = {Faiza Belala and
               A. Boucherit},
  title     = {A Contribution to the Formal Checking of Multi-Agents Systems},
  booktitle = {AICCSA},
  year      = {2006},
  pages     = {9-16},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=33913{\&}arnumber=1618326{\&}count=182{\&}index=1},
  crossref  = {DBLP:conf/aiccsa/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiccsa/2006,
  title     = {2006 IEEE/ACS International Conference on Computer Systems
               and Applications (AICCSA 2006), March 8-11, Dubai/Sharjah,
               UAE},
  booktitle = {AICCSA},
  publisher = {IEEE},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}