SITI DIANAH ABDUL BUJANG; ALI SELAMAT. Applying Model Checking Agent for Error Detecting in SMS using Formal Method. International Journal of Computer Information Systems and Industrial Management Applications, [S. l.], v. 1, p. 7, 2009. Disponível em: https://cspub-ijcisim.org/index.php/ijcisim/article/view/4. Acesso em: 16 nov. 2024.