Daho, H. E.-H. and Benhamamouch, D. (2010) “Temporal Deductive Verification of Basic ASM Models”, INFOCOMP Journal of Computer Science, 9(1), pp. 12–21. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/286 (Accessed: 1 May 2024).