BibTeX record conf/atal/HoekLW06

• > Home > conf/atal/HoekLW06

@inproceedings{DBLP:conf/atal/HoekLW06,
  author       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Michael J. Wooldridge},
  editor       = {Hideyuki Nakashima and
                  Michael P. Wellman and
                  Gerhard Weiss and
                  Peter Stone},
  title        = {On the complexity of practical {ATL} model checking},
  booktitle    = {5th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
  pages        = {201--208},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1160633.1160665},
  doi          = {10.1145/1160633.1160665},
  timestamp    = {Sun, 06 Oct 2024 20:56:35 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/HoekLW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}