State Space Reduction Techniques for Model Checking of MANET Protocols
International Journal of Networking and Computing
doi 10.15803/ijnc.7.1_29
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2017
Authors
Publisher
IJNC Editorial Committee