Data-Centric Dynamic Partial Order Reduction

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

DOI

OriginalsprogUdefineret/Ukendt
TidsskriftProc. ACM Program. Lang.
Vol/bind2
NummerPOPL
DOI
StatusUdgivet - 1 dec. 2017

    Forskningsområder

  • Stateless model-checking, Partial-order Reduction, Concurrency

Se relationer på Aarhus Universitet Citationsformater

ID: 179739942