%0 Conference Paper %1 conf/serene/DraguleMP17 %A Dragule, Swaib %A Meyers, Bart %A Pelliccione, Patrizio %B SERENE %D 2017 %E Romanovsky, Alexander B. %E Troubitsyna, Elena %I Springer %K dblp %P 45-61 %T A Generated Property Specification Language for Resilient Multirobot Missions. %U http://dblp.uni-trier.de/db/conf/serene/serene2017.html#DraguleMP17 %V 10479 %@ 978-3-319-65948-0

@inproceedings{conf/serene/DraguleMP17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Dragule, Swaib and Meyers, Bart and Pelliccione, Patrizio}, biburl = {https://www.bibsonomy.org/bibtex/2e996a196f75087087956dbb36e33726e/dblp}, booktitle = {SERENE}, crossref = {conf/serene/2017}, editor = {Romanovsky, Alexander B. and Troubitsyna, Elena}, ee = {https://doi.org/10.1007/978-3-319-65948-0_4}, interhash = {8d95224dfa6c67c65964724e7629b426}, intrahash = {e996a196f75087087956dbb36e33726e}, isbn = {978-3-319-65948-0}, keywords = {dblp}, pages = {45-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:31:45.000+0200}, title = {A Generated Property Specification Language for Resilient Multirobot Missions.}, url = {http://dblp.uni-trier.de/db/conf/serene/serene2017.html#DraguleMP17}, volume = 10479, year = 2017 }