APA引文

Mazur, T., & Lowe, G. (2011). Model Checking Systems with Replicated Components using CSP.

Chicago Style (17th ed.) Citation

Mazur, T., and G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.

MLA引文

Mazur, T., and G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.

警告：這些引文格式不一定是100％准確.