Zobrazuji výsledky 1 - 2 z 2, doba hledání: 0,04 s. Upřesnit hledání
  1. 1
    On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

    On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency Autor Horn, A, Kroening, D

    Vydáno 2015
    Journal article
  2. 2
    On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

    On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency Autor Horn, A, Kroening, D

    Vydáno 2015
    Conference item

Vyhledávací nástroje: