Kojima, Hideharu, Osaka University
-
Vol 7, No 1 (2017) - Special Issue on Workshop on Advances in Parallel and Distributed Computational Models 2016
State space reduction techniques for model checking of MANET protocols
Abstract PDF
ISSN: 2185-2847