Dynamic Partial Order Reduction Using Probe Sets

H. Kastenberg, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Dynamic Partial Order Reduction Using Probe Sets'. Together they form a unique fingerprint.