iscasMc: A Web-Based Probabilistic Model Checker

Ernst Moritz Hahn, Yi Li, University Liverpool, Andrea Turrini, Lijun Zhang

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

53 Citations (Scopus)

Fingerprint

Dive into the research topics of 'iscasMc: A Web-Based Probabilistic Model Checker'. Together they form a unique fingerprint.

Engineering & Materials Science