Datasets
- 1 results
Search results
-
Parameter Synthesis for Markov Models: Prophesy and model files
Junges, S. (Creator), Ábrahám, E. (Creator), Hensel, C. (Creator), Jansen, N. (Creator), Katoen, J.-P. (Creator), Quatmann, T. (Creator) & Volk, M. (Creator), Zenodo, 3 Mar 2023
DOI: 10.5281/zenodo.7697153, https://doi.org/10.5281/zenodo.7697154
Dataset