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]
Abstract is missing.