Mazur, T., & Lowe, G. (2013). CSP−based counter abstraction for systems with node identifiers.
Chicago-čujuhus (17. p.)Mazur, T., juo G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
MLA-čujuhus (9. p.)Mazur, T., juo G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.