Murphy, A. L., Roman, G.-C., Vargese G., An Exercise in Formal Reasoning about Mobile Communications, In: Proceedings of the Ninth International Workshop on Software Specifiction and Design, pp. 25-33, 1998.[BibTeX][Details]
