BibTeX record conf/gi/Wooldridge16

download as .bib file

@inproceedings{DBLP:conf/gi/Wooldridge16,
  author    = {Michael J. Wooldridge},
  title     = {From model checking to equilibrium checking},
  booktitle = {46. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
               2016, 26.-30. September 2016, Klagenfurt, {\"{O}}sterreich},
  pages     = {35},
  year      = {2016},
  crossref  = {DBLP:conf/gi/2016},
  url       = {https://dl.gi.de/20.500.12116/967},
  timestamp = {Wed, 13 Nov 2019 17:59:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/Wooldridge16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2016,
  editor    = {Heinrich C. Mayr and
               Martin Pinzger},
  title     = {46. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
               2016, 26.-30. September 2016, Klagenfurt, {\"{O}}sterreich},
  series    = {{LNI}},
  volume    = {{P-259}},
  publisher = {{GI}},
  year      = {2016},
  url       = {https://dl.gi.de/handle/20.500.12116/21004},
  isbn      = {978-3-88579-653-4},
  timestamp = {Wed, 13 Nov 2019 17:59:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics