Datasets
- 1 results
Search results
-
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