A verification framework for spatio-temporal consistency language with CCSL as a specification language
Crossref DOI link: https://doi.org/10.1007/s11704-018-7054-8
Published Online: 2018-11-13
Published Print: 2020-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang
Text and Data Mining valid from 2018-11-13
Article History
Received: 16 February 2017
Accepted: 22 December 2017
First Online: 13 November 2018