BibTeX record conf/fsttcs/Courcelle10

download as .bib file

@inproceedings{DBLP:conf/fsttcs/Courcelle10,
  author    = {Bruno Courcelle},
  title     = {Special tree-width and the verification of monadic second-order graph
               pr operties},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  pages     = {13--29},
  year      = {2010},
  crossref  = {DBLP:conf/fsttcs/2010},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.13},
  doi       = {10.4230/LIPIcs.FSTTCS.2010.13},
  timestamp = {Thu, 23 Aug 2018 15:56:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/Courcelle10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2010,
  editor    = {Kamal Lodaya and
               Meena Mahajan},
  title     = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  series    = {LIPIcs},
  volume    = {8},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10007},
  isbn      = {978-3-939897-23-1},
  timestamp = {Tue, 26 Feb 2013 10:47:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier