Aditya Sinha, Ajay Ry, Sanjay Singh. Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV. In Natarajan Meghanathan, Michal Wozniak, editors, The Second International Conference on Computational Science, Engineering and Information Technology, CCSEIT '12, Coimbatore, India, October 26-28, 2012. pages 352-357, ACM, 2012. [doi]
Abstract is missing.