Вы здесь
Gopalakrishnan G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Towards a Verification Technique for Large Synchronous Circuits | 1993 | Jain P., Kudva P., Gopalakrishnan G. | Lecture Notes in Computer Science | 07.05.1993 | |||
| СТ | Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware Design | 1993 | Gopalakrishnan G., Fujimoto R. | ACM Trans. Computer Systems | 29.07.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods in Computer-Aided Design: Proc./Second Intern. Conf., FMCAD 98. Palo Alto, CA, USA, November 1998 | 1998 | Lecture Notes in Computer Science |
|
19.11.1998 | |||
| СБ | Computer Aided Verifications: Proc./ 23rd International Conference, CAV 2011, Snowbird,UT,USA, July 2011 | 2011 | Lecture Notes in Computer Science |
|
22.09.2011 |