Ohta 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
СТ	An Access Control Mechanism for Object-Oriented Database Systems	1993	Araki T., Chikaraishi T., Hardjono T., Ohta T., Terashima N.				IEICE Trans.	07.04.1993