Вы здесь
Dang Zh.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components | 2005 | Xie G., Dang Zh. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.04.2005 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Developments in Language Theory: Proc./10th International Conference, DLT 2006. Santa Barbara, CA, USA, June 2006 | 2006 | Lecture Notes in Computer Science |
|
31.08.2006 |