Vũ Anh B. On the determining and minimizing problems of the duration automata. J. Comput. Sci. Cybern. [Internet]. 2014 Jun. 10 [cited 2025 Apr. 13];30(2):148-62. Available from: http://vjs.ac.vn/index.php/jcc/article/view/3487