TY - Front. Comput. Sci. A1 - Xiaobing WANG, Cong TIAN, Zhenhua DUAN, Liang ZHAO T1 - MSVL: a typed language for temporal logic programming Y1 - 2017-09-26 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 762 EP - 785 VL - 11 IS - 5 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-016-6059-4 ER -