THAI, Pham Hong.
 Checking parallel real-time systems for temporal duration properties by linear programming.
<strong>VNU Journal of Science: Natural Sciences and Technology</strong>, [S.l.], v. 19, n. 4, dec. 2003.
ISSN 2588-1140.
Available at: &lt;<a href="https://js.vnu.edu.vn/NST/article/view/3888" target="_new">https://js.vnu.edu.vn/NST/article/view/3888</a>&gt;. Date accessed: 27 dec. 2024.