Reading Length
Home
Speed Tests
Login
Ezio Bartocci
Identifiers
Open Library
OL1367118A
Top Subjects
City planning -- Research (1)
Bartocci, Ezio -- Sources (1)
Computer software, verification (1)
Biology (1)
Books by Ezio Bartocci
Total count: 7
Organicittà
Carucci
1981-01-01
Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Springer London, Limited
2013-01-01
Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Springer London, Limited
2015-01-01
Computational Methods in Systems Biology
14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Springer International Publishing AG
2016-01-01
Lectures on Runtime Verification
Introductory and Advanced Topics
Springer
2018-01-01
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Springer
2019-09-21
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Springer International Publishing AG
2021-01-01
