Вы здесь

Zheng G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Compositional Model-Checking for Real-time Systems 1998 Hou J., Li X., Fan X., Zheng G. Software Engineering Notes 01.07.1998
СТ Design of Cluster Safe File System 2003 Zheng G., Ding K., He X. Lecture Notes in Computer Science 27.11.2003
СТ Fair Transition System Specification: An Integrated Approach 1996 Jia G., Zheng G. SIGPLAN Notices 30.07.1996
СТ Logical Objects with Constraints 1994 Xu D., Zheng G. SIGPLAN Notices 09.02.1995