Pham Hong Thai. Checking parallel real-time systems for temporal duration properties by linear programming =: Kiểm tra hệ thời gian thực hoạt động song song đối với các tính chất khoáng tuần tự bằng quy hoạch tuyến tính.

Pham Hong Thai. Checking Parallel Real-time Systems for Temporal Duration Properties By Linear Programming =: Kiểm Tra Hệ Thời Gian Thực Hoạt động Song Song đối Với Các Tính Chất Khoáng Tuần Tự Bằng Quy Hoạch Tuyến Tính.

Pham Hong Thai. Checking Parallel Real-time Systems for Temporal Duration Properties By Linear Programming =: Kiểm Tra Hệ Thời Gian Thực Hoạt động Song Song đối Với Các Tính Chất Khoáng Tuần Tự Bằng Quy Hoạch Tuyến Tính.