Erik P. de Vink

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

• Minimisation of Spatial Models using Branching Bisimilarity - Validation code and data

  Ciancia, V. (Contributor), Groote, J. F. (Contributor), Latella, D. (Contributor), Massink, M. (Contributor) & de Vink, E. P. (Contributor), Zenodo, 3 Dec 2022

  DOI: 10.5281/zenodo.7393236, https://zenodo.org/record/7393236

  Dataset