Wang - Abstraction Refinement for Large Scale Model Checking - New pap - X555z

Abstraction Refinement for Large Scale Model Checking by Chao Wang: New

Wu - Synchronization Control for Large-Scale Network Systems - New har - X555z

Abstraction Refinement for Large Scale Model Checking - 9781489993953

Winter - Model Checking Abstract State Machines - New paperback or sof - X555z

Newall - What Is a Picture Depiction Realism Abstraction - New har - X555z

Dinnebier - Rietveld Refinement - New paperback or softback - X555z

Henglein - Verification Model Checking and Abstract Interpretation - X555z