Decision problems in systolic circuit verification /
Saved in:
| OCLC: | 37299224 |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Language: | English |
| Published: |
Uppsala :
Dept. of Computer Systems, Uppsala University,
c1990.
|
| Series: | DoCS (Uppsala Universitet. Dept. of Computer Systems) ;
90/21. |
| Subjects: | |
| Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |