Next, a construction process is given for proving the pattern composition theorem and the behavior equivalence is also proven for MSC.是什么意思_Next, a construction process is given for proving the pattern composition theorem and the behavior equivalence is also proven for MSC.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句