Automated Technology for Verification and Analysis - 9783642333859

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

Jurdzinski - Formal Modeling and Analysis of Timed Systems 10th Inte - X555z

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

Finkbeiner - Automated Technology for Verification and Analysis 13th - X555z

Graf - Automated Technology for Verification and Analysis 4th Intern - X555z

Namjoshi - Automated Technology for Verification and Analysis 5th In - X555z

Artho - Automated Technology for Verification and Analysis 14th Inte - X555z