BibTeX record conf/fsttcs/GadducciMRS19

download as .bib file

@inproceedings{DBLP:conf/fsttcs/GadducciMRS19,
  author    = {Fabio Gadducci and
               Hern{\'{a}}n C. Melgratti and
               Christian Rold{\'{a}}n and
               Matteo Sammartino},
  title     = {A Categorical Account of Replicated Data Types},
  booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
               Bombay, India},
  pages     = {42:1--42:15},
  year      = {2019},
  crossref  = {DBLP:conf/fsttcs/2019},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.42},
  doi       = {10.4230/LIPIcs.FSTTCS.2019.42},
  timestamp = {Thu, 19 Dec 2019 09:27:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/GadducciMRS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2019,
  editor    = {Arkadev Chattopadhyay and
               Paul Gastin},
  title     = {39th {IARCS} Annual Conference on Foundations of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
               Bombay, India},
  series    = {LIPIcs},
  volume    = {150},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-131-3},
  isbn      = {978-3-95977-131-3},
  timestamp = {Thu, 05 Dec 2019 15:12:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics