Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya. State space reduction techniques for model checking of MANET protocols. IJNC, 7(1):29-49, 2017. [doi]
@article{KojimaNT17,
title = {State space reduction techniques for model checking of MANET protocols},
author = {Hideharu Kojima and Yuta Nagashima and Tatsuhiro Tsuchiya},
year = {2017},
url = {http://www.ijnc.org/index.php/ijnc/article/view/141},
researchr = {https://researchr.org/publication/KojimaNT17},
cites = {0},
citedby = {0},
journal = {IJNC},
volume = {7},
number = {1},
pages = {29-49},
}