A temporal programming model with atomic blocks based on projection temporal logic
Crossref DOI link: https://doi.org/10.1007/s11704-014-3342-0
Published Online: 2014-10-24
Published Print: 2014-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Yang, Xiaoxiao
Zhang, Yu
Fu, Ming
Feng, Xinyu
Text and Data Mining valid from 2014-10-24