[LiSFZ16] Verify LTL with Fairness Assumptions Efficiently Li, Y.; Song, L.; Feng, Y. and Zhang, L. In TIME, pages 41-50, IEEE Computer Society, 2016.
Downloads: bibURL: https://doi.org/10.1109/TIME.2016.12