Skip to content

Axiomatisation and Decidability of Multi-dimensional Duration Calculus.

Andreas Schfer

VenueCTIME
Year2005
ProceedingsTIME

Browse the full TIME paper archive.