Вы здесь

Yoneda T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Efficient Verification of Parallel Real-Time Systems 1993 Yoneda T., Shibayama A., Schlingloft B. -H., Clarke E. M. Lecture Notes in Computer Science 20.08.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007 2007 Lecture Notes in Computer Science
  1. Namjoshi K. S.
  2. Yoneda T.
  3. Higashino T.
  4. Okamura Yo.
05.03.2008