@inproceedings{VSchuppanABiere-INFINITYpre-2005,
  author   = {Viktor Schuppan and Armin Biere},
  title    = {Liveness Checking as Safety Checking for Infinite State Spaces},
  pages    = {53--64},
  crossref = {BRICS-NS-05-4},
  ee       = {http://www.brics.dk/NS/05/4/BRICS-NS-05-4.pdf},
}

@proceedings{BRICS-NS-05-4,
  editor       = {Scott A. Smolka and Ji{\v{r}}{\'\i} Srba},
  title        = {Preliminary Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, {INFINITY~'05}, San Francisco, CA, USA, August 27, 2005},
  booktitile   = {Preliminary Proceedings {INFINITY~'05}},
  year         = 2005,
  number       = {NS-05-4},
  series       = {Notes Series},
  address      = {Department of Computer Science, Institute of Electronic Systems, Aalborg University},
  month        = jun,
  organization = {{BRICS}},
}