Вы здесь
Gopinath K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A SPIN-Based Model Checker for Telecommunication Protocols | 2001 | Shanbhag V. K., Gopinath K. | Lecture Notes in Computer Science | 14.06.2001 | |||
| СТ | Combining Conditional Constant Propagation and Interprocedural Alias Analysis | 1999 | Gopinath K., Nandakumar K. S. | Lecture Notes in Computer Science | 22.12.1999 | |||
| СТ | Formal Verification of an O.S. Submodule | 1998 | Pendharkar N. S., Gopinath K. | Lecture Notes in Computer Science | 22.12.1998 |