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

Bartocci, Ezio.

Overview
Works: 0 works in 3 publications in 1 languages
Titles
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / by: SpringerLink (Online service); Grosu, Radu.; Sokolsky, Oleg.; Bartocci, Ezio.; Cleaveland, Rance. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: Bartocci, Ezio.; Paoletti, Nicola.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lio, Pietro. (Language materials, printed)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by: Bartocci, Ezio.; SpringerLink (Online service); Majumdar, Rupak. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Model checking software = 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings / by: Bartocci, Ezio.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Ramakrishnan, C. R. (Language materials, printed)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by: Lio, Pietro.; SpringerLink (Online service); Paoletti, Nicola.; Bartocci, Ezio. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Lectures on Runtime Verification = Introductory and Advanced Topics / by: SpringerLink (Online service); Bartocci, Ezio.; Falcone, Yliès. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: Falcone, Yliès.; Bartocci, Ezio.; SpringerLink (Online service); Leucker, Martin. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: Bartocci, Ezio.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Majumdar, Rupak. (Language materials, printed)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: SpringerLink (Online service); Leucker, Martin.; Falcone, Yliès.; Bartocci, Ezio. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login