@inproceedings{8668,
  title = "Modelling Ad-hoc Routing Protocols Using Game Search: Extended Abstract",
  author = "Irfan Zakiuddin and Tim Hawkins and Nick Moffat and Sadie Creese and Chris Leow",
  year = "2003",
  journal = "(AVoCS '03) In Proceedings of the 3rd Automated Verificaiton of Critical Systems",
  url = "http://www.ecs.soton.ac.uk/~mal/avocs03/",
}