"Automatic checking of logic design structures For compliance with ..."

Humbert C. Godoy, G. B. Franklin, Peter S. Bottorff (1977)

Details and statistics

DOI:

access: closed

type: Conference or Workshop Paper

metadata version: 2012-03-01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics