ALROMEMA, Nashwan Ahmed; MOHD RAHIM, Mohd Shafry; ALBIDEWI, Ibrahim. Temporal Database Models Validation and Verification using Mapping Methodology. VFAST Transactions on Software Engineering, [S. l.], v. 4, n. 1, p. 90–101, 2016. DOI: 10.21015/vtse.v11i2.445. Disponível em: https://vfast.org/journals/index.php/VTSE/article/view/445. Acesso em: 18 apr. 2026.