Similar Listings
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