Dyfyniad APA

Mazur, T., & Lowe, G. (2013). CSP−based counter abstraction for systems with node identifiers.

Dyfyniad Arddull Chicago

Mazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.

Dyfyniad MLA

Mazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.