(1993). Towards the formal verification of the requirements and design of a processor interface unit / David A. Fura, Phillip J. Windley, Gerald C. Cohen.
Chicago Style (17th ed.) CitationTowards the Formal Verification of the Requirements and Design of a Processor Interface Unit / David A. Fura, Phillip J. Windley, Gerald C. Cohen. 1993.
MLA (9th ed.) CitationTowards the Formal Verification of the Requirements and Design of a Processor Interface Unit / David A. Fura, Phillip J. Windley, Gerald C. Cohen. 1993.
Warning: These citations may not always be 100% accurate.