Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards

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

    12 Citations (Scopus)

    Search results