Tan, T., Liu, Y., Sun, J., Dong, J., & LABORATORIES, T. (2013). Verification of orchestration systems using compositional partial order reduction.
Chicago Style CitationTan, T.H., Y. Liu, J. Sun, J.S Dong, and TEMASEK LABORATORIES. Verification of Orchestration Systems Using Compositional Partial Order Reduction. 2013.
MLA CitationTan, T.H., et al. Verification of Orchestration Systems Using Compositional Partial Order Reduction. 2013.
Warning: These citations may not always be 100% accurate.