DBLP BibTeX Record 'conf/atal/KalechLK07a'

@inproceedings{DBLP:conf/atal/KalechLK07a,
  author    = {Meir Kalech and
               Michael Lindner and
               Gal A. Kaminka},
  title     = {Matrix-based representation for coordination fault detection:
               a formal approach},
  booktitle = {AAMAS},
  year      = {2007},
  pages     = {162},
  ee        = {http://doi.acm.org/10.1145/1329125.1329322},
  crossref  = {DBLP:conf/atal/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/atal/2007,
  editor    = {Edmund H. Durfee and
               Makoto Yokoo and
               Michael N. Huhns and
               Onn Shehory},
  title     = {6th International Joint Conference on Autonomous Agents
               and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA,
               May 14-18, 2007},
  booktitle = {AAMAS},
  publisher = {IFAAMAS},
  year      = {2007},
  isbn      = {978-81-904262-7-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}