Cita APA (7a ed.)

Singh, A. K., & Bandyopadhyay, A. K. (2004). Reasoning about Protocols using Dijkstra’s Calculus.

Cita Chicago Style (17a ed.)

Singh, Awadhesh Kumar, y Anup Kumar Bandyopadhyay. Reasoning About Protocols Using Dijkstra’s Calculus. 2004.

Cita MLA (8a ed.)

Singh, Awadhesh Kumar, y Anup Kumar Bandyopadhyay. Reasoning About Protocols Using Dijkstra’s Calculus. 2004.