Thai, P.
(2003).
 Checking parallel real-time systems for temporal duration properties by linear programming.
<em>VNU Journal Of Science: Natural Sciences And Technology, 19</em>(4).
Retrieved from <a href="https://js.vnu.edu.vn/NST/article/view/3888" target="_new">https://js.vnu.edu.vn/NST/article/view/3888</a>