Ezio Bartocci profile picture

Ezio Bartocci

Is this your author profile? Create an account to customize it!

Stand Alone

Computational Methods in Systems Biology
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Model Checking Software