Datasets
Zoekresultaten
-
Artifact for 'Unfolding State Variables Improves Model Checking'
Stramaglia, A. (Ontwerper), Keiren, J. J. A. (Ontwerper) & Neele, T. (Ontwerper), Zenodo, 10 jul. 2024
DOI: 10.5281/zenodo.12705700, https://zenodo.org/records/12705700
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
-
An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems
Wijs, A. (Ontwerper), Keiren, J. J. A. (Ontwerper), Groote, J. F. (Ontwerper) & Jansen, D. N. (Ontwerper), Figshare, 20 feb. 2020
DOI: 10.6084/m9.figshare.11876688
Dataset