Singh, A. K., & Bandyopadhyay, A. K. (2004). Reasoning about Protocols using Dijkstra’s Calculus. Web
Citación estilo ChicagoSingh, Awadhesh Kumar, and Anup Kumar Bandyopadhyay. Reasoning About Protocols Using Dijkstra’s Calculus. 2004.
Cita MLASingh, Awadhesh Kumar, and Anup Kumar Bandyopadhyay. Reasoning About Protocols Using Dijkstra’s Calculus. 2004.
Precaución: Estas citas no son 100% exactas.