Model Checking Techniques for State Space Reduction in MANET Protocol Verification. - Hideharu Kojima; Yuta Nagashima; Tatsuhiro Tsuchiya (IPDPS Workshops, 2016)

State space reduction techniques for model checking of MANET protocols. - Hideharu Kojima; Yuta Nagashima; Tatsuhiro Tsuchiya (Int. J. Netw. Comput., 2017)