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: http://177.105.60.18/index.php/infocomp/article/view/286 (Accessed: 5 October 2024).