BibTeX record conf/lata/ChampavereGLN08

download as .bib file

@inproceedings{DBLP:conf/lata/ChampavereGLN08,
  author       = {J{\'{e}}r{\^{o}}me Champav{\`{e}}re and
                  R{\'{e}}mi Gilleron and
                  Aur{\'{e}}lien Lemay and
                  Joachim Niehren},
  editor       = {Carlos Mart{\'{\i}}n{-}Vide and
                  Friedrich Otto and
                  Henning Fernau},
  title        = {Efficient Inclusion Checking for Deterministic Tree Automata and DTDs},
  booktitle    = {Language and Automata Theory and Applications, Second International
                  Conference, {LATA} 2008, Tarragona, Spain, March 13-19, 2008. Revised
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5196},
  pages        = {184--195},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88282-4\_18},
  doi          = {10.1007/978-3-540-88282-4\_18},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/ChampavereGLN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics