Pierpaolo Degano
1950 · 13 obras en el catálogo
Obras

Formal Aspects in Security and Trust

Computational Methods in Systems Biology

Formal Aspects of Security and Trust

Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday

Automata, languages and programming

Principles of Security and Trust

Formal Aspects in Security and Trust

Principles of Security and Trust
Concurrency, Graphs and Models
Foundations and Applications of Security Analysis
Formal Methods for Computational Systems Biology
Formal Aspects in Security and Trust
