Вы здесь
Sinha N.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the Fly Transactions | 2006 | Kahlon V., Gupta A., Sinha N. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 28.09.2006 | ||
| СТ | State/Event-Based Software Model Checking | 2004 | Chaki S., Clarke E. M., Ouaknine J., Sharygina N., Sinha N. | Lecture Notes in Computer Science | 21.05.2004 |