Tim A.C. Willemse

Search results

• Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'

  Neele, T. (Creator), Willemse, T. A. C. (Creator) & Wesselink, W. (Creator), Zenodo, 9 Jan 2020

  DOI: 10.5281/zenodo.3602970

  Dataset

• Decomposing Monolithic Processes using the mCRL2 toolset

  Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 3 Jan 2022

  DOI: 10.5281/zenodo.5814855

  Dataset

• Decomposing Monolithic Processes using the mCRL2 toolset

  Laveaux, M. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 12 Jul 2021

  DOI: 10.5281/zenodo.5091849

  Dataset

• Infinite-data PBES Quotienting with the mCRL2 toolset

  Neele, T. (Contributor), Willemse, T. A. C. (Contributor) & Groote, J. F. (Contributor), Zenodo, 4 Nov 2019

  DOI: 10.5281/zenodo.3528142

  Dataset

• 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