Probabilistic may/must testing: retaining probabilities by restricted schedulers

S. Georgievska, S. Andova

    Research output: Contribution to journal › Article › Academic › peer-review

    14 Citations (Scopus)
    130 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Probabilistic may/must testing: retaining probabilities by restricted schedulers'. Together they form a unique fingerprint.

    Mathematics

    Computer Science