Natsuki Kimura, Noriaki Yoshiura. Construction and Verification of Mobile Ad Hoc Network Protocols. In Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan, editors, Cyberspace Safety and Security - 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings. Volume 8300 of Lecture Notes in Computer Science, pages 198-212, Springer, 2013. [doi]
Abstract is missing.