TY  - RPRT
TI  - Conditional Bisimilarity for Reactive Systems
AU  - Mathias Hülsbusch
AU  - Barbara König
AU  - Sebastian Küpper
AU  - Lara Stoltenow
PY  - 2022
DO  - 10.46298/lmcs-18(1:6)2022
UR  - https://arxiv.org/abs/2004.11792
ID  - 2004.11792
ER  -