Dyfyniad APA

Murray, T., & Lowe, G. (2009). On Refinement−Closed Security Properties and Nondeterministic Compositions.

Dyfyniad Arddull Chicago

Murray, T., and G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.

Dyfyniad MLA

Murray, T., and G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.

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