%O BookSection 
%F Mohammed2010
%A Mohammed, Ammar
%A Furbach, Ulrich
%A Stolzenburg, Frieder
%T Multi-Robot Systems: Modeling, Specification, and Model Checking
%B Robot Soccer
%E Papic, Vladan

%P 241-265
%I IN-TECH
%D 2010