Verification of Liveness Properties Using Compositional Reachability Analysis

@inproceedings{Cheung-al:FSE97,
  author    = {Shing{-}Chi Cheung and
               Dimitra Giannakopoulou and
               Jeff Kramer},
  title     = {Verification of Liveness Properties Using Compositional Reachability Analysis},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {227--243},
  series    = {LNCS},
  volume    = {1301},
  publisher = {Springer},
  year      = {1997},
  doi       = {10.1007/3-540-63531-9\_17},
}