Tan, T., Liu, Y., Sun, J., Dong, J., & LABORATORIES, T. (2013). Verification of orchestration systems using compositional partial order reduction.
استشهاد بنمط شيكاغوTan, T.H., Y. Liu, J. Sun, J.S Dong, و 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.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.