Subrahmanyam, P.A.
VIAF ID: 23599336 (Personal)
Permalink: http://viaf.org/viaf/23599336
Preferred Forms
-
-
- 100 1 _ ‡a Subrahmanyam, P. A.
- 100 1 0 ‡a Subrahmanyam, P. A.
-
-
- 100 1 _ ‡a Subrahmanyam, P. A.
-
Works
Title | Sources |
---|---|
Current trends in hardware verification and automated theorem proving | |
Edinburgh Workshop on VLSI (1985). Formal aspects of VLSI design, 1986: | |
VLSI specification, verification, and synthesis |