Вы здесь

Jia G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verification Experiments on the MASCARA Protocol 2001 Jia G., Graf S. Lecture Notes in Computer Science 14.06.2001
СТ Fair Transition System Specification: An Integrated Approach 1996 Jia G., Zheng G. SIGPLAN Notices 30.07.1996