TAHAT, Luay; ALMASRI, Nada. Identifying the Effect of Model Modifications in State-Based Models and Systems. Journal of Advanced Computer Science & Technology (JACST), [S. l.], v. 2, n. 1, p. 9–27, 2012. DOI: 10.14419/jacst.v2i1.538. Disponível em: https://sciencepubco.com/index.php/JACST/article/view/538.. Acesso em: 22 dec. 2024.