"Abstract Specification of Synchronous Data Types for VLSI and Proving the ..."

David K. Probst, Hon Fung Li (1988)

Details and statistics

DOI: 10.1109/12.2209

access: closed

type: Journal Article

metadata version: 2017-05-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics