Details for the publication LiZZPVH18.

Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi (), Jifeng He: An explicit transition system construction approach to LTL satisfiability checking. In Formal Aspects Comput. 30(2):193-217, 2018. DOI BIB