jean françois raskin
Automated Technology for Verification and Analysis
Print on DemandThis book constitutes the proceedings of the 12th International Symposium on Automated Technology...
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandThis bookconstitutes the proceedings of the 22nd International Conference on Tools andAlg...
Principles of Systems Design
Print on DemandThis Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022...
- 1