KonikowskaP06'

BibTeX

@inproceedings{DBLP:conf/atal/KonikowskaP06,
  author    = {Beata Konikowska and
               Wojciech Penczek},
  title     = {Model checking for multivalued logic of knowledge and time},
  booktitle = {AAMAS},
  year      = {2006},
  pages     = {169-176},
  ee        = {http://doi.acm.org/10.1145/1160633.1160661},
  crossref  = {DBLP:conf/atal/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/atal/2006,
  editor    = {Hideyuki Nakashima and
               Michael P. Wellman and
               Gerhard Weiss and
               Peter Stone},
  title     = {5th International Joint Conference on Autonomous Agents
               and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May
               8-12, 2006},
  booktitle = {AAMAS},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-303-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}