Вы здесь

Jia G.

Автор:

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