Publication

[LiSFZ16] Verify LTL with Fairness Assumptions Efficiently Li, Y.; Song, L.; Feng, Y. and Zhang, L. In TIME, 2016.
Downloads: bib