Abstraction Techniques for Modeling Real-World Interface Chips

• Authors:

• David A. Fura;Phillip J. Windley;Arun K. Somani

• Affiliations:

• -;-;-

• Venue:
• HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
• Year:
• 1993