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