@inproceedings{bartels_control_2026,
    title = {{Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems}},
    author = {Bartels, Menno and Laveaux, Maurice and Neele, Thomas and Willemse, Tim A.C.},
    year = {2026},
    publisher = {Springer},
    booktitle = {FORTE 2026},
    pages = {},
    series = {LNCS},
    volume = {},
    doi = {},
}