Mazur, T., & Lowe, G. (2013). CSP−based counter abstraction for systems with node identifiers.
Citación estilo ChicagoMazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Cita MLAMazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Warning: These citations may not always be 100% accurate.