Вы здесь

Sato Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Eventuality in LOTOS with a Disjunction Operator 1998 Isobe Y., Sato Y., Ohmaki K. Lecture Notes in Computer Science 18.12.1998
СТ A Calculus of Countable Broadcasting Systems 1995 Isobe Y., Sato Y., Ohmaki K. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems 1993 Ohmaki K., Sato Y., Ogata I., Futatsugi K. IEICE Trans. 20.04.1994