M. N. Brohi, & B. S. Chowdhry. (2005). Timed Model for Protocol Verification and Performance Analysis. Sindh University Research Journal - SURJ (Science Series), 37(1). https://doi.org/10.26692/surj-ss.v37i1.6866