Yuta Nagashima

According to our database, Yuta Nagashima authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

State space reduction techniques for model checking of MANET protocols.

Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya

Int. J. Netw. Comput., 2017

2016

Model Checking Techniques for State Space Reduction in MANET Protocol Verification.

Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016