BibTeX record conf/fsttcs/ClementePSW15

download as .bib file

@inproceedings{DBLP:conf/fsttcs/ClementePSW15,
  author       = {Lorenzo Clemente and
                  Pawel Parys and
                  Sylvain Salvati and
                  Igor Walukiewicz},
  editor       = {Prahladh Harsha and
                  G. Ramalingam},
  title        = {Ordered Tree-Pushdown Systems},
  booktitle    = {35th {IARCS} Annual Conference on Foundation of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
                  Bangalore, India},
  series       = {LIPIcs},
  volume       = {45},
  pages        = {163--177},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.163},
  doi          = {10.4230/LIPICS.FSTTCS.2015.163},
  timestamp    = {Fri, 09 Apr 2021 18:47:44 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/ClementePSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}