Вы здесь
Kasami T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Solving a Unification Problem under Constrained Substitutions Using Tree Automata | 1994 | Kaji Y., Fujiwara T., Kasami T. | Lecture Notes in Computer Science | 11.01.1995 | |||
| СТ | 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 | |||
| СТ | A System for Deciding the Security of Cryptographic Protocols | 1993 | Watanabe H., Fujiwara T., Kasami T. | IEICE Trans. | 07.04.1993 |