Truth of duration calculus formulae in timed frames (1996)

by Issn -x, C. A. Middelburg, C. A. Middelburg
Venue:Fundamenta Informaticae