Benjamin Aminof, Thomas Ball, Orna Kupferman. Reasoning About Systems with Transition Fairness. In Franz Baader, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Volume 3452 of Lecture Notes in Computer Science, pages 194-208, Springer, 2004. [doi]
@inproceedings{AminofBK04,
title = {Reasoning About Systems with Transition Fairness},
author = {Benjamin Aminof and Thomas Ball and Orna Kupferman},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3452&spage=194},
researchr = {https://researchr.org/publication/AminofBK04},
cites = {0},
citedby = {0},
pages = {194-208},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings},
editor = {Franz Baader and Andrei Voronkov},
volume = {3452},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-25236-3},
}