%0 Journal Article %1 journals/corr/LinM15 %A Lin, Yixiao %A Mitra, Sayan %D 2015 %J CoRR %K %T StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1502.html#LinM15 %V abs/1502.06286

@article{journals/corr/LinM15, added-at = {2023-12-12T17:50:32.000+0100}, author = {Lin, Yixiao and Mitra, Sayan}, biburl = {https://www.bibsonomy.org/bibtex/244d2466fc69eaf52c45921f37f02fb05/admin}, ee = {http://arxiv.org/abs/1502.06286}, interhash = {099230ae1821e52654ee4be5e6721455}, intrahash = {44d2466fc69eaf52c45921f37f02fb05}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T17:50:32.000+0100}, title = {StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1502.html#LinM15}, volume = {abs/1502.06286}, year = 2015 }