![](/img/cover-not-exists.png)
[IEEE 2014 Theoretical Aspects of Software Engineering Conference (TASE) - Changsha, China (2014.9.1-2014.9.3)] 2014 Theoretical Aspects of Software Engineering Conference - Timed Automata Semantics of Spatial-Temporal Consistency Language STeC
Zhang, Yuanrui, Mallet, Frederic, Chen, YixiangYear:
2014
Language:
english
DOI:
10.1109/tase.2014.10
File:
PDF, 350 KB
english, 2014