Вы здесь
Yamamoto M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic | 2004 | Hagiya M., Takahashi K., Yamamoto M., Sato T. | Lecture Notes in Computer Science | 07.05.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Active Networks: Revised Papers/IFIP TC6 International Working Conference, iWAN 2004. Lawrence, KS, USA, October 2004 | 2007 | Lecture Notes in Computer Science |
|
22.05.2007 |