BibTeX record conf/atal/HuangLM10

• > Home > conf/atal/HuangLM10

@inproceedings{DBLP:conf/atal/HuangLM10,
  author       = {Xiaowei Huang and
                  Cheng Luo and
                  Ron van der Meyden},
  editor       = {Wiebe van der Hoek and
                  Gal A. Kaminka and
                  Yves Lesp{\'{e}}rance and
                  Michael Luck and
                  Sandip Sen},
  title        = {Improved bounded model checking for a fair branching-time temporal
                  epistemic logic},
  booktitle    = {9th International Conference on Autonomous Agents and Multiagent Systems
                  {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  pages        = {1403--1404},
  publisher    = {{IFAAMAS}},
  year         = {2010},
  url          = {https://dl.acm.org/citation.cfm?id=1838403},
  timestamp    = {Sun, 23 Apr 2023 18:51:18 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/HuangLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}