Formal Modeling of Generalized Sliding Window Protocol in Promela Using Spin Root Model-Checker
International Journal of Computer Applications
doi 10.5120/ijca2018917044
Full Text
Open PDFAbstract
Available in full text
Date
June 15, 2018
Authors
Publisher
Foundation of Computer Science