Reachability Problems Reachability Problems
2025
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
2019
Trustworthy Global Computing Trustworthy Global Computing
2016