Liveness Checking as Safety Checking for Infinite State Spaces. Schuppan, V. & Biere, A. Electr. Notes Theor. Comput. Sci., 149(1):79-96, 2006.
Liveness Checking as Safety Checking for Infinite State Spaces [link]Link  bibtex   
@article{ DBLP:journals/entcs/SchuppanB06,
  author = {Viktor Schuppan and Armin Biere},
  title = {Liveness Checking as Safety Checking for Infinite State Spaces},
  journal = {Electr. Notes Theor. Comput. Sci.},
  pages = {79-96},
  volume = {149},
  number = {1},
  ee = {http://dx.doi.org/10.1016/j.entcs.2005.11.018},
  year = {2006}
}

Downloads: 0