M. N. Brohi, B. S. Chowdhry. Timed Model for Protocol Verification and Performance Analysis. Sindh. Uni. Res. J. SS [Internet]. 2005Jun.8 [cited 2026May11];37(1). Available from: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6866