Maurice Laveaux, MSc

Zoekresultaten

• Antichain-based refinement checking benchmark using the mCRL2 toolset

  Laveaux, M. (Bijdrager), Zenodo, 19 sep. 2019

  DOI: 10.5281/zenodo.3449420

  Dataset

• On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset

  Laveaux, M. (Ontwerper), Zenodo, 23 jan. 2022

  DOI: 10.5281/zenodo.5896966

  Dataset

• Decomposing Monolithic Processes using the mCRL2 toolset

  Laveaux, M. (Ontwerper) & Willemse, T. A. C. (Ontwerper), Zenodo, 3 jan. 2022

  DOI: 10.5281/zenodo.5814855

  Dataset

• Decomposing Monolithic Processes using the mCRL2 toolset

  Laveaux, M. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 12 jul. 2021

  DOI: 10.5281/zenodo.5091849

  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