Datasets
- 3 results
Search results
-
mCRL2 release 201808.0
Bunte, O. (Contributor), Groote, J. F. (Contributor), Keiren, J. J. A. (Contributor), Laveaux, M. (Contributor), Neele, T. (Contributor), de Vink, E. P. (Contributor), Wesselink, W. (Contributor), Wijs, A. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 2 Sept 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
-
Artifact for 'Unfolding State Variables Improves Model Checking'
Stramaglia, A. (Creator), Keiren, J. J. A. (Creator) & Neele, T. (Creator), Zenodo, 10 Jul 2024
DOI: 10.5281/zenodo.12705700, https://zenodo.org/records/12705700
Dataset
-
An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems
Wijs, A. (Creator), Keiren, J. J. A. (Creator), Groote, J. F. (Creator) & Jansen, D. N. (Creator), Figshare, 20 Feb 2020
DOI: 10.6084/m9.figshare.11876688
Dataset