Dong, J. S., Liu, Y., Sun, J., Zhang, X., & Engineering, S. o. C. (2013). Towards verification of computation orchestration.

Dong, Jin Song, Yang Liu, Jun Sun, Xian Zhang, و School of Computer Engineering. Towards Verification of Computation Orchestration. 2013.

Dong, Jin Song, et al. Towards Verification of Computation Orchestration. 2013.