Mohammed2010

Ammar Mohammed, Ulrich Furbach, Frieder Stolzenburg. Multi-Robot Systems: Modeling, Specification, and Model Checking. In Robot Soccer, Vladan Papic (ed.), Chap. 11, pp. 241-265, IN-TECH, 2010.

BibTex Reference

@InCollection{Mohammed2010,
   Author = {Mohammed, Ammar and Furbach, Ulrich and Stolzenburg, Frieder},
   Title = {Multi-Robot Systems: Modeling, Specification, and Model Checking},
   BookTitle = {Robot Soccer},
   editor = {Papic, Vladan},
   Chapter= {11},
   Pages = {241--265},
   Publisher = {IN-TECH},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)