Вы здесь
Chatterjee K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Mathematical Foundations of Computer Science 2013: Proc./38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 2013 | 2013 | Lecture Notes in Computer Science |
|
18.11.2013 | |||
| СБ | Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010 | 2010 | Lecture Notes in Computer Science |
|
23.11.2010 |