Citação norma APA

Roscoe, A. (1995). Modelling and verifying key−exchange protocols using CSP and FDR. IEEE.

Citação norma Chicago

Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.

Citação norma MLA

Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.