Jayaraj Poroor, Bharat Jayaraman. Formal specification and verification of vehicular handoff using π-calculus. In Rajagopala Chidambaram, P. Venkat Rangan, Satish K. Tripathi, Prasant Mohapatra, Maneesha V. Ramesh, Maarten van Steen, editors, Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief, ACWR '11, Amritapuri, Kollam, Kerala, India, December 18-21, 2011. pages 165-168, ACM, 2011. [doi]
Abstract is missing.