TY  - RPRT
TI  - Mining Diamonds in labeled Transition Systems
AU  - P. H. M. van Spaendonck
AU  - K. H. J. Jilissen
PY  - 2025
UR  - https://arxiv.org/abs/2501.08689
ID  - 2501.08689
ER  -