Вы здесь
Yamaguchi H.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
П | Enaction of Software Process Description in a Petri Net Model with Registers | 1900 | Yamaguchi H., Okano K., Higashino T., Taniguchi K. | 01.11.1995 | ||||
СТ | Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model | 1994 | Yamaguchi H., Okano K., Higashino T., Taniguchi K. | IEICE Trans. | 22.02.1995 |