TY  - RPRT
TI  - A Decision Diagram Operation for Reachability
AU  - Sebastiaan Brand
AU  - Thomas Bäck
AU  - Alfons Laarman
PY  - 2022
DO  - 10.1007/978-3-031-27481-7_29
UR  - https://arxiv.org/abs/2212.03684
ID  - 2212.03684
ER  -