MSVL: a typed language for temporal logic programming
Crossref DOI link: https://doi.org/10.1007/s11704-016-6059-4
Published Online: 2017-05-25
Published Print: 2017-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wang, Xiaobing
Tian, Cong
Duan, Zhenhua
Zhao, Liang
License valid from 2017-05-25