Вы здесь
Muller O.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Combining Model Checking and Deduction for I/O-Automata | 1995 | Muller O., Nipkow T. | Lecture Notes in Computer Science | 11.01.1996 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Designing for Digital Transformation. C0-Creating Services with Citizens and Industry: Proc./15th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2020, Kristiansand, Norway, December 2020 | 2020 | Lecture Notes in Computer Science |
|
15.01.2021 |