@inproceedings{zakiuddin2003methodology,
  title = "A methodology for model-checking ad-hoc networks",
  author = "Zakiuddin, Irfan and Goldsmith, Michael and Whittaker, Paul and Gardiner, Paul",
  year = "2003",
  booktitle = "Proceedings of the 10th international conference on Model checking software",
  organization = "Springer-Verlag",
  pages = "181--196",
}