Some Results on the Decidability of Duration Calculus under Synchronous Interpretation (1998)

by Manoranjan Satpathy, Dang Van Hung, Paritosh K Pandya
Venue:LNCS