On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

Chi tiết về thư mục
Tác giả chính: Lowe, G
Định dạng: Conference item
Được phát hành: 2004
Miêu tả
Tóm tắt:

Những quyển sách tương tự