Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
Filters: Creator:"Gopalakrishnan, Ganesh C."
1 - 25 of 2
| Title | Date | Type | ||
|---|---|---|---|---|
| 1 |  | From Algebraic Specifications to Correct VLSI Systems | 1986-12 | Text |
| 2 |  | HOP: (Hardware Viewed as Objects and Processes). A Process Model for Synchronous Hardware Systems | 1988 | Text |
1 - 25 of 2