MINEA, M.; IZBASA, C.; JEBELEAN, C. EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS. International Journal of Computing, [S. l.], v. 2, n. 3, p. 63-68, 2014. DOI: 10.47839/ijc.2.3.231. Disponível em: https://www.computingonline.net/computing/article/view/231. Acesso em: 2 may. 2024.