Taoufik Saidani, H. M. Z. R. G. (2024) “ Comparing Two Inclusion Techniques in Timed Automata”, International Journal on Recent and Innovation Trends in Computing and Communication, 12(2), pp. 85–90. Available at: https://ijritcc.org/index.php/ijritcc/article/view/10460 (Accessed: 25June2024).