Ouaknine - Formal Modeling and Analysis of Timed Systems 7th Internat - X555z

Chen - Automated Technology for Verification and Analysis 17th Inter - X555z

Cassez - Automated Technology for Verification and Analysis 12th Int - X555z

Van Hung - Automated Technology for Verification and Analysis 11th I - X555z

Bultan - Automated Technology for Verification and Analysis 9th Inte - X555z

Hanaoka - Advances in Information and Computer Security 7th Internat - X555z

Automated Technology for Verification and Analysis - 9783319681665

Mukund - Automated Technology for Verification and Analysis 10th Int - X555z