Вы здесь
Sighireanu M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Analyzing Fair Parametric Extended Automata | 2001 | Bouajjani A., Collomb-Annichini A., Lakhnech Y., Sighireanu M. | Lecture Notes in Computer Science | 31.07.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Static Analysis: Proc./27th International Symposium,, SAS 2020, Virtual Event, November 2020 | 2020 | Lecture Notes in Computer Science |
|
19.02.2021 |