Time Constraints with Temporal Logic Programming.

Meng Han, Zhenhua Duan, Xiaobing Wang

Browse the full ICFEM paper archive.