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.

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online

Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li. Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 222, IEEE, 2012. [doi]

Authors

Lei Bu

This author has not been identified. Look up 'Lei Bu' in Google

Dingbao Xie

This author has not been identified. Look up 'Dingbao Xie' in Google

Xin Chen

This author has not been identified. Look up 'Xin Chen' in Google

Linzhang Wang

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

Xuandong Li

This author has not been identified. Look up 'Xuandong Li' in Google
runs on