Mazur, T., & Lowe, G. (2011). Model Checking Systems with Replicated Components using CSP.
Chicago-Zitierstil (17. Ausg.)Mazur, T., und G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.
MLA-Zitierstil (9. Ausg.)Mazur, T., und G. Lowe. Model Checking Systems with Replicated Components Using CSP. 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.