Datasets
- 2 resultaten
Zoekresultaten
-
Minimisation of Spatial Models using Branching Bisimilarity - Validation code and data
Ciancia, V. (Bijdrager), Groote, J. F. (Bijdrager), Latella, D. (Bijdrager), Massink, M. (Bijdrager) & de Vink, E. P. (Bijdrager), Zenodo, 3 dec. 2022
DOI: 10.5281/zenodo.7393236, https://zenodo.org/record/7393236
Dataset
-
mCRL2 release 201808.0
Bunte, O. (Bijdrager), Groote, J. F. (Bijdrager), Keiren, J. J. A. (Bijdrager), Laveaux, M. (Bijdrager), Neele, T. (Bijdrager), de Vink, E. P. (Bijdrager), Wesselink, W. (Bijdrager), Wijs, A. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 2 sep. 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset