Вы здесь

Takada Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Ginger2: An Environment for Computer-Aided Empirical Software Engineering 1999 Torii K., Matsumoto K., Nakakoji K., Takada Y., Takada S., Shima K. IEEE Trans. on Software Engineering 30.12.1999
СТ On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels 1994 Kakuda Y., Takada Y., Kikuno T. IEICE Trans. 09.12.1994