Some Decidability Results for Duration Calculus under Synchronous Interpretation

• Authors:

• Manoranjan Satpathy;Dang Van Hung;Paritosh K. Pandya

• Affiliations:

• -;-;-

• Venue:
• FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1998