@inproceedings{murphy98__exerc_formal_reason_mobil_commun,
  author = {Murphy, A. L. and Roman, G.-C. and Vargese G.},
  title = {An Exercise in Formal Reasoning about Mobile Communications},
  booktitle = {Proceedings of the Ninth International Workshop on Software Specifiction and Design},
  pages = {25-33},
  year = {1998}
}