Abstraction Refinement for Large Scale Model Checking by Chao Wang (English) Pap

Abstraction Refinement for Large Scale Model Checking by Chao Wang (English) Har

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

Abstraction Refinement for Large Scale Model Checking - 9781489993953

Refinement : Semantics, Languages and Applications, Hardcover by Derrick, Joh...

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

Semi-Automated Refinement of Semantic Models (Berichte aus der Informatik)

OSPF and IS-IS: Choosing an IGP for Large-Scale Networks: Choosing an IGP fo...