B. SUNDARRAJ. GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING. International Journal of Modern Agriculture, [S. l.], v. 9, n. 4, p. 1119-1125, 2020. Disponível em: http://www.modern-journals.com/index.php/ijma/article/view/481. Acesso em: 2 may. 2024.