Вы здесь
Mizuno T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Protocol Verification Tool with Extended Petri Net and Horn Clause | 1995 | Watanabe T., Ohta T., Sato F., Mizuno T. | IEICE Trans. | 10.04.1996 | |||
| СТ | Object-Oriented Implementation of OSI Application Layer Protocols | 1991 | Nakakawaji T., Omura M., Kusunoki K., Katsuyama K., Mizuno T. | IEICE Trans. | 16.02.1992 |