![](/img/cover-not-exists.png)
A verification framework for spatio-temporal consistency language with CCSL as a specification language
Zhang, Yuanrui, Mallet, Frédéric, Chen, YixiangLanguage:
english
Journal:
Frontiers of Computer Science
DOI:
10.1007/s11704-018-7054-8
Date:
November, 2018
File:
PDF, 1.16 MB
english, 2018