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.

Converting Ptolemy II Models to SpaceEx for Applied Verification

Shiwei Ran, Jinzhi Lin, Ying Wu, Jianzhong Zhang, Yuwei Xu. Converting Ptolemy II Models to SpaceEx for Applied Verification. In Xian-He Sun, Wenyu Qu, Ivan Stojmenovic, Wanlei Zhou, Zhiyang Li, Hua Guo, Geyong Min, Tingting Yang, Yulei Wu, Lei Liu, editors, Algorithms and Architectures for Parallel Processing - 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I. Volume 8630 of Lecture Notes in Computer Science, pages 669-683, Springer, 2014. [doi]

Authors

Shiwei Ran

This author has not been identified. Look up 'Shiwei Ran' in Google

Jinzhi Lin

This author has not been identified. Look up 'Jinzhi Lin' in Google

Ying Wu

This author has not been identified. Look up 'Ying Wu' in Google

Jianzhong Zhang

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

Yuwei Xu

This author has not been identified. Look up 'Yuwei Xu' in Google
runs on