Вы здесь
Fontaine P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Decidability of Invariant Validation for Paramaterized Systems | 2003 | Fontaine P., Gribomont E. P. | Lecture Notes in Computer Science | 17.04.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019 | 2019 | Lecture Notes in Artificial Intelligence |
|
13.09.2019 | |||
| СБ | Frontiers of Combining Systems: Proc./9th International Symposium, FroCoS 2013, Nancy, France, September 2013 | 2013 | Lecture Notes in Artificial Intelligence |
|
17.02.2014 |