Вы здесь

Hou J.

Автор:

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