BibTeX record conf/csl/2013

download as .bib file

@proceedings{DBLP:conf/csl/2013,
  editor    = {Simona Ronchi Della Rocca},
  title     = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
               2013, Torino, Italy},
  series    = {LIPIcs},
  volume    = {23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2013},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=13009},
  isbn      = {978-3-939897-60-6},
  timestamp = {Wed, 04 Sep 2013 20:26:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier