%0 Journal Article %1 journals/firai/NicolaSI18 %A Nicola, Rocco De %A Stefano, Luca Di %A Inverso, Omar %D 2018 %J Front. Robotics and AI %K dblp %T Toward Formal Models and Languages for Verifiable Multi-Robot Systems. %U http://dblp.uni-trier.de/db/journals/firai/firai2018.html#NicolaSI18 %V 2018

@article{journals/firai/NicolaSI18, added-at = {2019-09-16T00:00:00.000+0200}, author = {Nicola, Rocco De and Stefano, Luca Di and Inverso, Omar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b5d8c961733392dd77768da104965694/dblp}, ee = {https://doi.org/10.3389/frobt.2018.00094}, interhash = {94dc9fbe6bde4ce96f14eb52b5309c3f}, intrahash = {b5d8c961733392dd77768da104965694}, journal = {Front. Robotics and AI}, keywords = {dblp}, timestamp = {2019-09-27T06:27:03.000+0200}, title = {Toward Formal Models and Languages for Verifiable Multi-Robot Systems.}, url = {http://dblp.uni-trier.de/db/journals/firai/firai2018.html#NicolaSI18}, volume = 2018, year = 2018 }