# A verification framework for spatio-temporal consistency language with CCSL as a specification language

> Research article (Frontiers of Computer Science, 2018) · cited 10× · AI/ML

**Wikidata**: [openalex:W2900740191](https://www.wikidata.org/wiki/openalex:W2900740191)  
**Source**: https://4ort.xyz/entity/a-verification-framework-for-spatio-temporal-consistency-language-with-ccsl-as-a-specification-language