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]
@inproceedings{PoroorJ11-0,
title = {Formal specification and verification of vehicular handoff using π-calculus},
author = {Jayaraj Poroor and Bharat Jayaraman},
year = {2011},
doi = {10.1145/2185216.2185268},
url = {http://doi.acm.org/10.1145/2185216.2185268},
researchr = {https://researchr.org/publication/PoroorJ11-0},
cites = {0},
citedby = {0},
pages = {165-168},
booktitle = {Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief, ACWR '11, Amritapuri, Kollam, Kerala, India, December 18-21, 2011},
editor = {Rajagopala Chidambaram and P. Venkat Rangan and Satish K. Tripathi and Prasant Mohapatra and Maneesha V. Ramesh and Maarten van Steen},
publisher = {ACM},
isbn = {978-1-4503-1011-6},
}