Formal Specification and Validation of Selective Acknowledgement Protocol using Z/EVES Theorem Prover

Zarina Shukur, Nursyahidah Alias, Mohd Hazali Mohamed Halip and Bahari Idrus

Journal of Applied Sciences 6 ( 8 ): 1712 - 1719 , 2006