Thai, P.
2003 Dec 15.  Checking parallel real-time systems for temporal duration properties by linear programming. VNU Journal of Science: Natural Sciences and Technology. [Online] 19:4