Roberto Gorrieri
Roberto Gorrieri
5 books in the database
Books
Foundations of security analysis and design IIRoberto Gorrieri
Foundations of security analysis and design II
Roberto Gorrieri · 2004
Foundations of security analysis and designRoberto Gorrieri
Foundations of security analysis and design
Roberto Gorrieri · 2001
Process Algebras for Petri NetsRoberto Gorrieri
Process Algebras for Petri Nets
Roberto Gorrieri · 2017
Introduction to Concurrency TheoryRoberto Gorrieri
Introduction to Concurrency Theory
Roberto Gorrieri · 2015
Formal methods for open object-based distributed systemsRoberto Gorrieri
Formal methods for open object-based distributed systems
Roberto Gorrieri · 2006