Amir Pnueli
Abstraction for Liveness
VMCAI, 2005.
@inproceedings{VMCAI-2005-Pnueli, author = "Amir Pnueli", booktitle = "{Proceedings of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-540-30579-8_10", isbn = "3-540-24297-X", pages = "146", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Abstraction for Liveness}", volume = 3385, year = 2005, }