Integration of Linear Constraints with a Temporal Logic Programming Language.

Qian Ma, Zhenhua Duan, Mengfei Yang

Browse the full TASE paper archive.