StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. Lin, Y. & Mitra, S. In Noh, S. H., Fischmeister, S., & Xue, J., editors, 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, 2015. ACM.
Paper doi bibtex @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 = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/LinM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"bMGMhzLbycKSLSysa","bibbaseid":"lin-mitra-starltowardsaunifiedframeworkforprogrammingsimulatingandverifyingdistributedroboticsystems-2015","downloads":0,"creationDate":"2019-02-23T06:37:55.914Z","title":"StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems","author_short":["Lin, Y.","Mitra, S."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yixiao"],"propositions":[],"lastnames":["Lin"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"editor":[{"firstnames":["Sam","H."],"propositions":[],"lastnames":["Noh"],"suffixes":[]},{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Fischmeister"],"suffixes":[]},{"firstnames":["Jason"],"propositions":[],"lastnames":["Xue"],"suffixes":[]}],"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":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/lctrts/LinM15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lctrts/LinM15,\n author = {Yixiao Lin and\n Sayan Mitra},\n editor = {Sam H. Noh and\n Sebastian Fischmeister and\n Jason Xue},\n title = {StarL: Towards a Unified Framework for Programming, Simulating and\n Verifying Distributed Robotic Systems},\n booktitle = {Proceedings of the 16th {ACM} {SIGPLAN/SIGBED} Conference on Languages,\n Compilers and Tools for Embedded Systems, {LCTES} 2015, CD-ROM, Portland,\n OR, USA, June 18 - 19, 2015},\n pages = {9:1--9:10},\n publisher = {{ACM}},\n year = {2015},\n url = {https://doi.org/10.1145/2670529.2754966},\n doi = {10.1145/2670529.2754966},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/lctrts/LinM15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lin, Y.","Mitra, S."],"editor_short":["Noh, S. H.","Fischmeister, S.","Xue, J."],"key":"DBLP:conf/lctrts/LinM15","id":"DBLP:conf/lctrts/LinM15","bibbaseid":"lin-mitra-starltowardsaunifiedframeworkforprogrammingsimulatingandverifyingdistributedroboticsystems-2015","role":"author","urls":{"Paper":"https://doi.org/10.1145/2670529.2754966"},"downloads":0},"search_terms":["starl","towards","unified","framework","programming","simulating","verifying","distributed","robotic","systems","lin","mitra"],"keywords":["dblp"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["64vhzPQouTD2xtS3j"]}