Temporal Analysis of Time Bounded Digital Systems

• Authors:

• Alan R. Martello;Steven P. Levitan

• Affiliations:

• -;-

• Venue:
• CHARME '93 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
• Year:
• 1993