@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 = {38--55},
    series = {LNCS},
    volume = {16589},
    doi = {10.1007/978-3-032-28187-6_3},
}