Daho HE-H, Benhamamouch D. Temporal Deductive Verification of Basic ASM Models. INFOCOMP Journal of Computer Science [Internet]. 2010 Mar. 1 [cited 2024 Nov. 23];9(1):12-21. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/286