@inproceedings{BandaGallagher2010,
  author    = {Gourinath Banda and John P. Gallagher},
  title     = {Constraint-based abstraction of a model checker for infinite state systems},
  year      = {2010},
}