@InProceedings{Bradley+others/05/Linear,
  author =   {Aaron R. Bradley and Zohar Manna and Henny B. Sipma},
  title =    {Linear Ranking with Reachability},
  booktitle =    {Proc. {$17^{th}$} Intl. Conference on
                                 Computer Aided Verification (CAV)},
  year =     2005,
  series =   {Lecture Notes in Computer Science},
  location = "Edinburgh, Scotland",
  month = "July",
  publisher =    {Springer Verlag},
  volume =  3576,
  editor = {Kousha Etessami and Sriram K. Rajamani}
}