MALIK, Saima; AZIZ, Aima; AZIZ, Azka; UMAR, Naveed. Formal Modelling and Verification of Health Care System Through Petri Nets. iRASD Journal of Computer Science and Information Technology, [S. l.], v. 1, n. 1, p. 45–54, 2020. Disponível em: https://journals.internationalrasd.org/index.php/jcsit/article/view/646. Acesso em: 2 may. 2024.