External Links

Cite Key

Statistics

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

PDF

Tags

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.

Execution Semantics for rCOS

Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He. Execution Semantics for rCOS. In 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China. pages 119-126, IEEE, 2008. [doi]

Authors

Zheng Wang

This author has not been identified. Look up 'Zheng Wang' in Google

Xiao Yu

This author has not been identified. Look up 'Xiao Yu' in Google

Geguang Pu

This author has not been identified. Look up 'Geguang Pu' in Google

Libo Feng

This author has not been identified. Look up 'Libo Feng' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google
runs on