Truth of duration calculus formulae in timed frames”, (1996)

by C A Middelburg
Venue:United Nations University, International Institute for Software Technology,