"A formal design verification system based on an automated reasoning system."

Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas (1984)

Details and statistics

DOI:

access: closed

type: Conference or Workshop Paper

metadata version: 2012-03-01