Taoufik Saidani HMZRG. Comparing Two Inclusion Techniques in Timed Automata. IJRITCC [Internet]. 2024Apr.23 [cited 2025Sep.13];12(2):85-90. Available from: https://mail.ijritcc.org/index.php/ijritcc/article/view/10460