franck cassez
Formal Modeling and Analysis of Timed Systems
Print on DemandThis book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...
Automated Technology for Verification and Analysis
Print on DemandThis book constitutes the proceedings of the 12th International Symposium on Automated Technology...
Modeling and Verification of Parallel Processes
Print on DemandInhaltsangabeTutorials and Papers.- Model Checking: A Tutorial Overview.- Theorem Proving for Ver...
- 1