BibTeX record conf/sofsem/AndersenHMNP20

download as .bib file

@inproceedings{DBLP:conf/sofsem/AndersenHMNP20,
  author    = {Jakob Lykke Andersen and
               Marc Hellmuth and
               Daniel Merkle and
               Nikolai N{\o}jgaard and
               Marco Peressotti},
  editor    = {Yannis Manolopoulos and
               George A. Papadopoulos and
               Theodoros Tzouramanis},
  title     = {A Graph-Based Tool to Embed the {\(\pi\)}-Calculus into a Computational
               {DPO} Framework},
  booktitle = {Proceedings of the {SOFSEM} 2020 Doctoral Student Research Forum co-located
               with the 46th International Conference on Current Trends in Theory
               and Practice of Computer Science {(SOFSEM} 2020), Limassol, Cyprus,
               January 20-24, 2020},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2568},
  pages     = {121--132},
  publisher = {CEUR-WS.org},
  year      = {2020},
  url       = {http://ceur-ws.org/Vol-2568/paper11.pdf},
  timestamp = {Tue, 10 Mar 2020 16:23:49 +0100},
  biburl    = {https://dblp.org/rec/conf/sofsem/AndersenHMNP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics