TAN, T. H., LIU, Y., SUN, J., & DONG, J. S. (2011). Verification of orchestration systems using compositional partial order reduction. Institutional Knowledge at Singapore Management University.
استشهاد بنمط شيكاغوTAN, Tian Huat, Yang LIU, Jun SUN, و Jin Song DONG. Verification of Orchestration Systems Using Compositional Partial Order Reduction. Institutional Knowledge at Singapore Management University, 2011.
MLA استشهادTAN, Tian Huat, Yang LIU, Jun SUN, و Jin Song DONG. Verification of Orchestration Systems Using Compositional Partial Order Reduction. Institutional Knowledge at Singapore Management University, 2011.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.