2006-games.bib

@COMMENT{{This file has been generated by bib2bib 1.82}}

@COMMENT{{Command line: /usr/bin/bib2bib -ob 2006-games.bib -c 'gvcat :"games"' bibs/2006.bib}}

@INPROCEEDINGS{DBLP:conf/csl/ChatterjeeDHR06,
  AUTHOR = {Krishnendu Chatterjee and
               Laurent Doyen and
               Thomas A. Henzinger and
               Jean-Fran\c{c}ois Raskin},
  TITLE = {Algorithms for Omega-Regular Games with Imperfect Information},
  BOOKTITLE = {Computer Science Logic, 20th International Workshop, CSL
               2006, 15th Annual Conference of the EACSL, Szeged, Hungary,
               September 25-29, 2006, Proceedings},
  YEAR = {2006},
  PAGES = {287-302},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {4207},
  PUBLISHER = {Springer},
  EE = {http://dx.doi.org/10.1007/11874683_19},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  GVCAT = {games}
}

@INPROCEEDINGS{DBLP:conf/hybrid/WulfDR06,
  AUTHOR = {Martin De Wulf and
               Laurent Doyen and
               Jean-Fran\c{c}ois Raskin},
  TITLE = {A Lattice Theory for Solving Games of Imperfect Information.},
  BOOKTITLE = {Hybrid Systems: Computation and Control, 9th International
               Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31,
               2006, Proceedings},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3927},
  YEAR = {2006},
  PUBLISHER = {Springer},
  PAGES = {153-168},
  EE = {http://dx.doi.org/10.1007/11730637_14},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  GVCAT = {games}
}

@INPROCEEDINGS{LMCS07-2,
  AUTHOR = {Khrishnendu Chartejee and Laurent Doyen and Thomas A.
  Henzinger and Jean-François Raskin},
  TITLE = {Algorithms for $\omega$-Regular with Imperfect Information},
  BOOKTITLE = {Long version invited to Logical Methods in Computer Science},
  YEAR = {2007},
  PAGES = {25},
  GVCAT = {games}
}

This file has been generated by bibtex2html 1.82.