A Reasoning Method for Timed CSP Based on Constraint Solving.

Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang

Browse the full ICFEM paper archive.