Some decidability results for duration calculus under synchronous interpretation (1998)

by Manoranjan Satpathy, Dang Van Hung, Paritosh K Pandya
Venue:Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), volume 1486 of Lecture Notes in Computer Science