Вы здесь

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
  1. Baldan P.
  2. Gorla D.
23.09.2014