logo
BibTeX Entry


@inproceedings{AbdullaJRS06,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Rezine, Ahmed and Saksena, Mayank},
  title		= {Proving Liveness by Backwards Reachability.},
  booktitle	= {Proc. CONCUR '06-17th Int. Conf. on Concurrency Theory},
  year		= {2006},
  pages		= {95--109},
  URL		= {files/liveness.ps}
}