Mazur, T., & Lowe, G. (2011). Model Checking Systems with Replicated Components using CSP.
芝加哥风格引文Mazur, T., 与 G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.
MLA引文Mazur, T., 与 G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.
警告：这些引文格式不一定是100％准确.