Decidability and Undecidability Results for Duration Calculus.

Zhou Chaochen, Michael R. Hansen, Peter Sestoft

Browse the full STACS paper archive.