@incollection{Mohammed10,
author = {Ammar Mohammed and Ulrich Furbach and Frieder Stolzenburg},
title = {Multi-Robot Systems: Modeling, Specification, and Model Checking},
booktitle = {Robot Soccer},
publisher = {IntechOpen},
address = {Rijeka},
year = {2010},
editor = {Vladan Papić},
chapter = {11},
doi = {10.5772/7349},
url = {https://doi.org/10.5772/7349}
}