Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.

Yuanrui Zhang, Frdric Mallet, Yixiang Chen

Browse the full TASE paper archive.