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]
@inproceedings{KojimaY19,
title = {A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies},
author = {Hideharu Kojima and Naoto Yanai},
year = {2019},
doi = {10.1109/CANDARW.2019.00010},
url = {https://doi.org/10.1109/CANDARW.2019.00010},
researchr = {https://researchr.org/publication/KojimaY19},
cites = {0},
citedby = {0},
pages = {14-20},
booktitle = {Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops, Nagasaki, Japan, November 26-29, 2019},
publisher = {IEEE},
isbn = {978-1-7281-5268-4},
}