External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Timed Automata Semantics of Spatial-Temporal Consistency Language STeC

Yuanrui Zhang, Frédéric Mallet, Yixiang Chen. Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 201-208, IEEE, 2014. [doi]

Authors

Yuanrui Zhang

This author has not been identified. Look up 'Yuanrui Zhang' in Google

Frédéric Mallet

This author has not been identified. Look up 'Frédéric Mallet' in Google

Yixiang Chen

This author has not been identified. Look up 'Yixiang Chen' in Google
runs on