Login / Signup
Yuta Nagashima
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Automated Verification
Space Reduction
Model Checking
Computation Tree Logic
Top Venues
IPDPS Workshops
Int. J. Netw. Comput.
</>
Publications
</>
Hideharu Kojima
,
Yuta Nagashima
,
Tatsuhiro Tsuchiya
State space reduction techniques for model checking of MANET protocols.
Int. J. Netw. Comput.
7 (1) (2017)
Hideharu Kojima
,
Yuta Nagashima
,
Tatsuhiro Tsuchiya
Model Checking Techniques for State Space Reduction in MANET Protocol Verification.
IPDPS Workshops
(2016)