1
Formal Methods in Outer Space [E-Book] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
Other Personal Name(s): “...Bartocci, Ezio...”

Full text 
Favorites
Saved in:
2
Computational Methods in Systems Biology [E-Book] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
Other Personal Name(s): “...Bartocci, Ezio...”

Full text 
Favorites
Saved in:
3
Runtime Verification [E-Book] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Other Personal Name(s): “...Bartocci, Ezio....”

Full text 
Favorites
Saved in:
4
Model Checking Software [E-Book] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Other Personal Name(s): “...Bartocci, Ezio....”

Full text 
Favorites
Saved in: