Vũ Anh B. On the determining and minimizing problems of the duration automata. JCC [Internet]. 2014 Jun. 10 [cited 2024 Apr. 26];30(2):148-62. Available from: https://vjs.ac.vn/index.php/jcc/article/view/3487