BibTeX record conf/is/PileckiBJ14

• > Home > conf/is/PileckiBJ14

@inproceedings{DBLP:conf/is/PileckiBJ14,
  author       = {Jerzy Pilecki and
                  Marek A. Bednarczyk and
                  Wojciech Jamroga},
  editor       = {Plamen P. Angelov and
                  Krassimir T. Atanassov and
                  Lyubka Doukovska and
                  Mincho Hadjiski and
                  Vladimir Simov Jotsov and
                  Janusz Kacprzyk and
                  Nikola K. Kasabov and
                  Sotir Sotirov and
                  Eulalia Szmidt and
                  Slawomir Zadrozny},
  title        = {Model Checking Properties of Multi-agent Systems with Imperfect Information
                  and Imperfect Recall},
  booktitle    = {Intelligent Systems'2014 - Proceedings of the 7th International Conference
                  Intelligent Systems {IEEE} IS'2014, September 24-26, 2014, Warsaw,
                  Poland, Volume 1: Mathematical Foundations, Theory, Analyses},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {322},
  pages        = {415--426},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11313-5\_37},
  doi          = {10.1007/978-3-319-11313-5\_37},
  timestamp    = {Mon, 26 Jun 2023 20:46:42 +0200},
  biburl       = {https://dblp.org/rec/conf/is/PileckiBJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}