BibTeX record conf/icla/BerwangerP09

download as .bib file

@inproceedings{DBLP:conf/icla/BerwangerP09,
  author       = {Dietmar Berwanger and
                  Sophie Pinchinat},
  editor       = {Ramaswamy Ramanujam and
                  Sundar Sarukkai},
  title        = {Game Quantification Patterns},
  booktitle    = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
                  Chennai, India, January 7-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5378},
  pages        = {116--130},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-92701-3\_8},
  doi          = {10.1007/978-3-540-92701-3\_8},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icla/BerwangerP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics