Details for the publication LiYP0H14.

Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He: Aalta: an LTL satisfiability checker over Infinite/Finite traces. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pages 731-734, 2014. DOI BIB