Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Gorrieri, Roberto.

Overview
Works: 1 works in 3 publications in 1 languages
Titles
Introduction to Concurrency Theory = Transition Systems and CCS / by: Versari, Cristian.; Gorrieri, Roberto.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Introduction to concurrency theory = transition systems and CCS / by: Gorrieri, Roberto.; SpringerLink (Online service); Versari, Cristian. (Language materials, printed)
Process algebras for Petri nets = the alphabetization of distributed systems / by: Gorrieri, Roberto.; SpringerLink (Online service) (Language materials, printed)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures by: Aldini, Alessandro.; Martinelli, Fabio.; SpringerLink (Online service); Gorrieri, Roberto. (Language materials, printed)
Foundations of security analysis and design II = FOSAD 2001/2002 turorial lectures / by: Focardi, Riccardo, (1970-); Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Gorrieri, Roberto. (Language materials, printed)
Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Degano, Pierpaolo.; Gorrieri, Roberto.; SpringerLink (Online service) (Language materials, printed)
Foundations of security analysis and design VI = FOSAD tutorial lectures / by: Aldini, Alessandro.; Gorrieri, Roberto.; SpringerLink (Online service) (Language materials, printed)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures / by: Barthe, Gilles.; Aldini, Alessandro.; SpringerLink (Online service); Gorrieri, Roberto. (Language materials, printed)
 
 
Change password
Login