M. N. BROHI; B. S. CHOWDHRY. Timed Model for Protocol Verification and Performance Analysis. Sindh University Research Journal - SURJ (Science Series), [S. l.], v. 37, n. 1, 2005. DOI: 10.26692/surj-ss.v37i1.6866. Disponível em: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6866. Acesso em: 11 may. 2026.