External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying Robocup Teams

Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma. Verifying Robocup Teams. In Doron Peled, Michael Wooldridge, editors, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Volume 5348 of Lecture Notes in Computer Science, pages 34-48, Springer, 2008. [doi]

Authors

Clara Benac Earle

This author has not been identified. Look up 'Clara Benac Earle' in Google

Lars-Åke Fredlund

This author has not been identified. Look up 'Lars-Åke Fredlund' in Google

José Antonio Iglesias

This author has not been identified. Look up 'José Antonio Iglesias' in Google

Agapito Ledezma

This author has not been identified. Look up 'Agapito Ledezma' in Google
runs on