BibTeX record conf/ieaaie/WanBH11

• > Home > conf/ieaaie/WanBH11

@inproceedings{DBLP:conf/ieaaie/WanBH11,
  author       = {Wei Wan and
                  Jamal Bentahar and
                  Abdessamad Ben Hamza},
  editor       = {Kishan G. Mehrotra and
                  Chilukuri K. Mohan and
                  Jae C. Oh and
                  Pramod K. Varshney and
                  Moonis Ali},
  title        = {Model Checking Epistemic and Probabilistic Properties of Multi-agent
                  Systems},
  booktitle    = {Modern Approaches in Applied Intelligence - 24th International Conference
                  on Industrial Engineering and Other Applications of Applied Intelligent
                  Systems, {IEA/AIE} 2011, Syracuse, NY, USA, June 28 - July 1, 2011,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6704},
  pages        = {68--78},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21827-9\_8},
  doi          = {10.1007/978-3-642-21827-9\_8},
  timestamp    = {Mon, 05 Feb 2024 20:31:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ieaaie/WanBH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}