Horn, A., & Kroening, D. (2015). On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency.
Chicago-viite (17. p.)Horn, A., ja D. Kroening. On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency. 2015.
MLA-viite (9. p.)Horn, A., ja D. Kroening. On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency. 2015.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.