Вы здесь
Hoenicke J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Model-Checking of Specifications Integrating Processes, Data and Time | 2005 | Hoenicke J., Maier P. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 08.11.2005 | ||
| СТ | Combining Specification Techniques for Processes, Data and Time | 2002 | Hoenicke J., Olderog E. -R. | Lecture Notes in Computer Science | 21.06.2002 |