Authors: LAITA LM RAMIREZ B DELEDESMA L RISCOS A

Citation: Lm. Laita et al., A FORMAL MODEL FOR VERIFICATION OF DYNAMIC CONSISTENCY OF KBSS, Computers & mathematics with applications, 29(5), 1995, pp. 81-96