A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions

• Authors:

• Yow-Jian Lin;Gene T. J. Wuu

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
• Year:
• 1991