"Masaya Shimakawa,Yuuji Iwasaki,Shigeki Hagihara,Naoki Yonezaki","Discussion of LTL Subsets for Efficient Verification","Workshop on Computation: Theory and Practice (WCTP2016)","Preproceedings of Workshop on Computation: Theory and Practice (WCTP2016)",,,,"pp. 1-14",2016,Sept.