Reihe Series on Integrated Circuits and SystemsChao Wang × Abstraction Refinement for Large Scale Model Checking Chao WangSpringer USSoftcover2014119,99 € Abstraction Refinement for Large Scale Model Checking Chao WangSpringer USeBook200696,29 € Abstraction Refinement for Large Scale Model Checking Chao WangSpringer USHardcover2006106,99 €
