Verifying duration properties of timed transition systems

• Authors:

• Zhiming Liu;Anders P. Ravn;Xiaoshan Li

• Affiliations:

• -;-;-

• Venue:
• PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
• Year:
• 1998