Decision problems in systolic circuit verification
By: Parosh Aziz Abdulla
Contributors: Uppsala universitet
Series: DoCS -- 90/21; DoCS (Uppsala Universitet. Department of Computer Systems) -- 90/21
Publisher: Dept. of Computer Systems, Uppsala University
Published: 1990
Place of publication: Uppsala
Language: eng
Number of pages: 191
Subjects: Systolic array circuits
Notes: doctoral Uppsala University 1990

Includes bibliographical references (p. 183-186) and index.