BibTeX record conf/bnaic/JamrogaD05

download as .bib file

@inproceedings{DBLP:conf/bnaic/JamrogaD05,
  author       = {Wojciech Jamroga and
                  J{\"{u}}rgen Dix},
  editor       = {Katja Verbeeck and
                  Karl Tuyls and
                  Ann Now{\'{e}} and
                  Bernard Manderick and
                  Bart Kuijpers},
  title        = {Turning Game Models Turn-Based for Model Checking Properties of Agents},
  booktitle    = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands
                  Conference on Artificial Intelligence, Brussels, Belgium, October
                  17-18, 2005},
  pages        = {143--150},
  publisher    = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
  year         = {2005},
  timestamp    = {Thu, 08 Dec 2005 07:17:40 +0100},
  biburl       = {https://dblp.org/rec/conf/bnaic/JamrogaD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.