|
|
On the Application of Counterexample-Guided Abstraction refinement and data independence to the parameterised model checking problem
Gavin Lowe infobook title | Proceedings of the Third International Workshop on Automatic Verification of Infinite-State Systems, (AVIS 2004) |
year | 2004 |
links
BibTeX
Link (ps)
related pages
|
|
|
|
