@inproceedings{inproc/avis,
  title = "On the Application of Counterexample-Guided Abstraction refinement and data independence to the parameterised model checking problem",
  author = "Gavin Lowe",
  year = "2004",
  booktitle = "{Proceedings of the Third International Workshop on Automatic Verification of Infinite-State Systems, (AVIS 2004)}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/CEGAR.ps",
}