Hideharu Kojima, Naoto Yanai. A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies. In Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops, Nagasaki, Japan, November 26-29, 2019. pages 14-20, IEEE, 2019. [doi]
Abstract is missing.