TY - RPRT TI - Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version) AU - Robert Müller AU - Mathis Weiß AU - Malte Lochau PY - 2024 DO - 10.1145/3646548.3676539 UR - https://arxiv.org/abs/2407.04499 ID - 2407.04499 ER -