Truth of Duration Calculus Formulae in Timed Frames (1996)

by Cornelis A. Middelburg
Venue:Fundamenta Informaticae
Citations:7 - 5 self