An Object-Oriented Framework for Explicit-State Model Checking

M. Kattenbelt, T.C. Ruys, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    25 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'An Object-Oriented Framework for Explicit-State Model Checking'. Together they form a unique fingerprint.

    Engineering & Materials Science