Fast Verified SCCs for Probabilistic Model Checking

Arnd Hartmanns
, Bram Kohlen
, Peter Lammich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

165 Downloads (Pure)

1 results
- Title
- Start date(ascending)

Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Hartmanns, A. (Creator), Kohlen, B. (Creator) & Lammich, P. (Creator), 4TU.Centre for Research Data, 31 Oct 2023
DOI: 10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862, https://data.4tu.nl/datasets/aff9f553-0e9e-4ec2-90e0-20c5b6152862 and 2 more links, https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v1, https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v2 (show fewer)
Dataset