Вы здесь
Shirakawa O.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Verification Procedure via Invariant for Extended Communicating Finite-State Machines | 1993 | Higuchi M., Shirakawa O., Seki H., Fujii M., Kasami T. | Lecture Notes in Computer Science | 07.05.1993 |