Вы здесь
Kester Y.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Verification of Clocked and Hybrid Systems | 2000 | Kester Y., Manna Z., Pnueli A. | Acta Informatica | 13.07.2000 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Verification of Clocked and Hybrid Systems | 2000 | Kester Y., Manna Z., Pnueli A. | Acta Informatica | 13.07.2000 |