@inproceedings{VSchuppanABiere-INFINITY-2005,
  author   = {Viktor Schuppan and Armin Biere},
  title    = {Liveness Checking as Safety Checking for Infinite State Spaces},
  pages    = {79--96},
  crossref = {conf/INFINITY/2005},
  ee       = {http://dx.doi.org/10.1016/j.entcs.2005.11.018},
}

@proceedings{conf/INFINITY/2005,
  editor    = {Scott A. Smolka and Ji{\v{r}}{\'\i} Srba},
  title     = {Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, {INFINITY~'05}, San Francisco, CA, USA, August 27, 2005},
  booktitle = {INFINITY~'05},
  publisher = {Elsevier},
  series    = {Electronic Notes in Theoretical Computer Science, 149(1)},
  year      = 2006,
}