@misc{indiciaeb6c6fe89f66c, title = {Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)}, author = {Robert Müller and Mathis Weiß and Malte Lochau}, year = {2024}, doi = {10.1145/3646548.3676539}, url = {https://arxiv.org/abs/2407.04499}, note = {Source identifier: 2407.04499} }