Mazur, T., & Lowe, G. (2011). Model Checking Systems with Replicated Components using CSP.
Цитирование в стиле Чикаго (17-е изд.)Mazur, T., и G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.
Цитирование MLA (9-е изд.)Mazur, T., и G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.