Вы здесь
Fisman D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Beyond Regular Model Checking | 2001 | Fisman D., Pnueli A. | Lecture Notes in Computer Science | 22.12.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Runtime Verification: Proc./21st International Conference, RV 2021, Virtual Event, October 2021 | 2021 | Lecture Notes in Computer Science |
|
21013 | 11.11.2021 |