TY - BOOK AU - Heiko Hamann TI - Swarm Robotics: A Formal Approach SN - 978-3-319-74528-2 PB - Springer KW - "Engineering; Communications Engineering, Networks; Signal, Image and Speech Processing; Robotics and Automation; Computational Intelligence; Complexity" UR - http://link.springer.com/openurl?genre=book&isbn=978-3-319-74528-2 ER -