BibTeX record books/ws/automata2012/ManethFS12

download as .bib file

@incollection{DBLP:books/ws/automata2012/ManethFS12,
  author       = {Sebastian Maneth and
                  Sylvia Friese and
                  Helmut Seidl},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Type Checking of Tree Walking Transducers},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {325--372},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0011},
  doi          = {10.1142/9789814271059\_0011},
  timestamp    = {Sat, 03 Aug 2019 22:52:53 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/ManethFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics