Вы здесь
Chakrabarti P. P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures | 2005 | Chatterjee K., Dasgupta P., Chakrabarti P. P. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 21.04.2005 |