Horn, A., & Kroening, D. (2015). On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency.
芝加哥风格引文Horn, A., 与 D. Kroening. On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency. 2015.
MLA引文Horn, A., 与 D. Kroening. On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency. 2015.
警告：这些引文格式不一定是100％准确.