![](/img/cover-not-exists.png)
[IEEE 2019 Seventh International Symposium on Computing and Networking Workshops (CANDARW) - Nagasaki, Japan (2019.11.26-2019.11.29)] 2019 Seventh International Symposium on Computing and Networking Workshops (CANDARW) - A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies
Kojima, Hideharu, Yanai, NaotoYear:
2019
DOI:
10.1109/candarw.2019.00010
File:
PDF, 366 KB
2019