B. Sundarraj (2020) “GADDINGRIE: A METHODOLOGY FOR THE REFINEMENT OF MODEL CHECKING”, International Journal of Modern Agriculture, 9(4), pp. 1119-1125. Available at: http://www.modern-journals.com/index.php/ijma/article/view/481 (Accessed: 1May2024).