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 (Apr. 2024), 85–90.