Verifying Robocup Teams Conference Contributions uri icon

event

  • MOCHART-2008: The Fifth International Workshop on Model Cheking and Artificial Intelligence

event place

  • Patras

country

  • GRECIA

participation category

  • COMUNICACIÓN

publication date

  • 2008