Вы здесь
Hung D. V.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Duration Calculus with Infinite Intervals | 1995 | Chaochen Z., Hung D. V., Xiaoshan L. | Lecture Notes in Computer Science | Fundamentals of Computation Theory | 18.10.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Technology for Verification and Analysis: Proc./11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 2013 | 2013 | Lecture Notes in Computer Science |
|
18.11.2013 | |||
| СБ | Theoretical Aspects of Computing - ITAC 2005: Proc./Second International Colloquium. Hanoi, Vietnam, October 2005 | 2005 | Lecture Notes in Computer Science |
|
29.11.2005 |