Skip to content

A Duration Calculus with Infinite Intervals.

Chaochen Zhou, Dang Van Hung, Xiaoshan Li

VenueBFCT
Year1995
ProceedingsFCT

Browse the full FCT paper archive.