Publication

[LiZZPVH18] An explicit transition system construction approach to LTL satisfiability checking Li, J.; Zhang, L.; Zhu, S.; Pu, G.; Vardi, M. Y. and He, J. In Formal Asp. Comput., 30: 193-217, 2018.Downloads: bib