@inproceedings{ABiereCArthoVSchuppan-FMICS-2002,
  author    = {Armin Biere and Cyrille Artho and Viktor Schuppan},
  title     = {Liveness Checking as Safety Checking},
  crossref  = {conf/fmics/2002},
  ee        = {http://dx.doi.org/10.1016/S1571-0661(04)80410-9},
}

@proceedings{conf/fmics/2002,
  editor    = {Rance Cleaveland and Hubert Garavel},
  title     = {Formal Methods for Industrial Critical Systems, Proceedings of the 7th International ERCIM Workshop, FMICS'02, M\'{a}laga, Spain, July 12--13, 2002},
  booktitle = {FMICS'02},
  publisher = {Elsevier},
  series    = {ENTCS, 66(2)},
  year      = {2002}
}