Timed High-Order p Calculus and Multi-resolution Time Constraints.

Wei Zheng, Yian Zhu, Fang-fang Duan

Browse the full SNPD paper archive.