Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract

Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract

Irfan Zakiuddin‚ Tim Hawkins‚ Nick Moffat‚ Sadie Creese and Chris Leow

Journal
(AVoCS '03) In Proceedings of the 3rd Automated Verificaiton of Critical Systems
Year
2003

Links

See Also

Back to Top