„view consistent scheduler“

Suchergebnisse

1 Treffer

• Model Checking Concurrent Programs with Nondeterminism and Randomization
  Chadha, Rohit ; Sistla, A. Prasad ; Viswanathan, Mahesh 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik