DAHO, Hocine El-Habib; BENHAMAMOUCH, Djillali. Temporal Deductive Verification of Basic ASM Models. INFOCOMP Journal of Computer Science, [S. l.], v. 9, n. 1, p. 12–21, 2010. Disponível em: http://177.105.60.18/index.php/infocomp/article/view/286. Acesso em: 5 oct. 2024.