BibTeX record conf/lctrts/LinM15

download as .bib file

@inproceedings{DBLP:conf/lctrts/LinM15,
  author    = {Yixiao Lin and
               Sayan Mitra},
  editor    = {Sam H. Noh and
               Sebastian Fischmeister and
               Jason Xue},
  title     = {StarL: Towards a Unified Framework for Programming, Simulating and
               Verifying Distributed Robotic Systems},
  booktitle = {Proceedings of the 16th {ACM} {SIGPLAN/SIGBED} Conference on Languages,
               Compilers and Tools for Embedded Systems, {LCTES} 2015, CD-ROM, Portland,
               OR, USA, June 18 - 19, 2015},
  pages     = {9:1--9:10},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2670529.2754966},
  doi       = {10.1145/2670529.2754966},
  timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl    = {https://dblp.org/rec/conf/lctrts/LinM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics