Artifact for 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'

Dataset

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 beschikbaarheid10 jan. 2025
UitgeverZenodo

Citeer dit