APA引文

Tan, T., Liu, Y., Sun, J., Dong, J., & LABORATORIES, T. (2013). Verification of orchestration systems using compositional partial order reduction.

Chicago Style Citation

Tan, T.H., Y. Liu, J. Sun, J.S Dong, and TEMASEK LABORATORIES. Verification of Orchestration Systems Using Compositional Partial Order Reduction. 2013.

MLA引文

Tan, T.H., et al. Verification of Orchestration Systems Using Compositional Partial Order Reduction. 2013.