TY  - RPRT
TI  - Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps
AU  - Benjamin Bisping
AU  - David N. Jansen
PY  - 2024
UR  - https://arxiv.org/abs/2305.17671
ID  - 2305.17671
ER  -