Vijay Gehlot, Anush Hayrapetyan. A formalized and validated executable model of the SIP-based presence protocol for mobile applications. In David John, Sandria N. Kerr, editors, Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007. pages 185-190, ACM, 2007. [doi]
Abstract is missing.