In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …
In: IEEE International Conference on Robotics and Biomimetics (ROBIO 2006). IEEE International Conference on Robotics and Biomimetics (IEEE-ROBIO), …
Paul Buitelaar; Thierry Declerck; Anette Frank; Stefania Racioppa; Malte Kiesel; Michael Sintek; Ralf Engel; Daniel Sonntag; Berenike Loos; Vanessa Micelli; Robert Porzel; Philipp Cimiano