Вы здесь
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 |
|
05.03.2008 |