BAN, Đoàn V.; HƯƠNG, H. V. A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases. Journal of Computer Science and Cybernetics, [S. l.], v. 19, n. 3, p. 263–273, 2012. DOI: 10.15625/1813-9663/19/3/1533. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/1533. Acesso em: 3 may. 2024.