BibTeX record conf/stacs/LerouxS16

download as .bib file

@inproceedings{DBLP:conf/stacs/LerouxS16,
  author    = {J{\'{e}}r{\^{o}}me Leroux and
               Sylvain Schmitz},
  title     = {Ideal Decompositions for Vector Addition Systems (Invited Talk)},
  booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
               2016, February 17-20, 2016, Orl{\'{e}}ans, France},
  pages     = {1:1--1:13},
  year      = {2016},
  crossref  = {DBLP:conf/stacs/2016},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2016.1},
  doi       = {10.4230/LIPIcs.STACS.2016.1},
  timestamp = {Thu, 23 Aug 2018 15:56:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/LerouxS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2016,
  editor    = {Nicolas Ollinger and
               Heribert Vollmer},
  title     = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
               2016, February 17-20, 2016, Orl{\'{e}}ans, France},
  series    = {LIPIcs},
  volume    = {47},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-001-9},
  isbn      = {978-3-95977-001-9},
  timestamp = {Fri, 17 Mar 2017 09:38:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier