Model checking mobile stochastic logic

Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink

    Research output: Contribution to journalArticleAcademicpeer-review

    50 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Model checking mobile stochastic logic'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science