TAOUFIK SAIDANI, H. M. Z. R. G. Comparing Two Inclusion Techniques in Timed Automata. International Journal on Recent and Innovation Trends in Computing and Communication, [S. l.], v. 12, n. 2, p. 85–90, 2024. Disponível em: https://ijritcc.org/index.php/ijritcc/article/view/10460. Acesso em: 25 jun. 2024.