Jump to navigation
Dependable Systems Group
Publications
Filters:
Author
is
Davide Sangiorgi
[Clear All Filters]
2015
P. R. D'Argenio
,
Melgratti, H.
, and
Sangiorgi, D.
,
“
Special Issue: Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013
”
,
Logical Methods in Computer Science
, 2015.
DOI
Google Scholar
Main menu
Home
Members
Projects
Publications
Alumni
News
Tools
Facultad de
Matemática, Astronomía, Física y Computación
Sección de Ciencias de la Computación
Home
Members
Projects
Publications
Alumni
News
Tools