Omschrijving
This is a reproduction package for the experiments that were performed as part of the work 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'.
| Datum van beschikbaarheid | 10 jan. 2025 |
|---|---|
| Uitgever | Zenodo |
Artifact for 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'
- Anna Stramaglia (Ontwerper)
- Jeroen J.A. Keiren (Ontwerper)
- Maurice Laveaux (Ontwerper)
- Tim A.C. Willemse (Ontwerper)
Dataset