BibTeX record conf/csl/1999

download as .bib file

@proceedings{DBLP:conf/csl/1999,
  editor    = {J{\"{o}}rg Flum and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
               Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1683},
  publisher = {Springer},
  year      = {1999}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics