Вы здесь
Hou J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Compositional Model-Checking for Real-time Systems | 1998 | Hou J., Li X., Fan X., Zheng G. | Software Engineering Notes | 01.07.1998 |
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Compositional Model-Checking for Real-time Systems | 1998 | Hou J., Li X., Fan X., Zheng G. | Software Engineering Notes | 01.07.1998 |