Formalising Scheduling Theories in Duration Calculus

Qiwen Xu, Naijun Zhan. Formalising Scheduling Theories in Duration Calculus. Nord. J. Comput., 14(3):173-201, 2008.

Abstract

Abstract is missing.