Вы здесь
Blumenrohr C.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Semantics and Transformations in Formal Synthesis at System Level | 2001 | Sabelfeld V., Blumenrohr C., Kapp K. | Lecture Notes in Computer Science | 06.02.2002 |