Вы здесь
Sokolova A.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021 | 2021 | Lecture Notes in Computer Science |
|
13.09.2021 | |||
| СБ | Formal Techniques for Distributed Objects, Components, and Systems: Proc./40th IFIP WG 6/1 International Conference, FORTE 202, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020 | 2020 | Lecture Notes in Computer Science |
|
28.07.2020 |