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