dimagic

Nikolai Käfer (Contributor)
Nils Husung (Contributor)
Clemens Dubslaff (Contributor)

Algorithms and Logics for Verification

Dataset

Description

Software, test data, and testing results for the SPLC'24 paper "Configuring BDD Compilation Techniques for Feature Models".

Date made available	10 Jul 2024
Publisher	Zenodo

DOI
10.5281/zenodo.12707100

Access Dataset

open

Cite this

DataSetCite