BibTeX record conf/csl/1993

download as .bib file

@proceedings{DBLP:conf/csl/1993,
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0049319},
  doi          = {10.1007/BFB0049319},
  isbn         = {3-540-58277-0},
  timestamp    = {Fri, 17 Jul 2020 16:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics