Lua APA (7ú heag.)

Horn, A., & Kroening, D. (2015). On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency.

Lua i Stíl Chicago (17ú heag.)

Horn, A., agus D. Kroening. On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency. 2015.

Lua MLA (9ú heag.)

Horn, A., agus D. Kroening. On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency. 2015.

Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.