External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems

Yixiao Lin, Sayan Mitra. StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. In Sam H. Noh, Sebastian Fischmeister, Jason Xue, 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, ACM, 2015. [doi]

Authors

Yixiao Lin

This author has not been identified. Look up 'Yixiao Lin' in Google

Sayan Mitra

This author has not been identified. Look up 'Sayan Mitra' in Google
runs on