BibTeX record conf/fase/HenrioKLM16

download as .bib file

@inproceedings{DBLP:conf/fase/HenrioKLM16,
  author    = {Ludovic Henrio and
               Oleksandra Kulankhina and
               Siqi Li and
               Eric Madelaine},
  editor    = {Perdita Stevens and
               Andrzej Wasowski},
  title     = {Integrated Environment for Verifying and Running Distributed Components},
  booktitle = {Fundamental Approaches to Software Engineering - 19th International
               Conference, {FASE} 2016, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9633},
  pages     = {66--83},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7\_5},
  doi       = {10.1007/978-3-662-49665-7\_5},
  timestamp = {Sat, 05 Sep 2020 18:00:17 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/HenrioKLM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics