MMC: the Mono Model Checker

T.C. Ruys, Niels H.M. Aan de Brugh

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

    3 Citations (Scopus)

    Fingerprint Dive into the research topics of 'MMC: the Mono Model Checker'. Together they form a unique fingerprint.