Mazur, T., & Lowe, G. (2013). CSP−based counter abstraction for systems with node identifiers.
Παραπομπή σε μορφή Chicago (17η εκδ.)Mazur, T., και G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Παραπομπή σε μορφή MLA (9th εκδ.)Mazur, T., και G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.