Вы здесь
Gorla D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | On Compositional Reasoning in the Spi-calculus | 2002 | Boreale M., Gorla D. | Lecture Notes in Computer Science | 09.05.2002 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014 | 2014 | Lecture Notes in Computer Science |
|
23.09.2014 |