TY  - RPRT
TI  - Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
AU  - Benjamin Bisping
AU  - David N. Jansen
AU  - Uwe Nestmann
PY  - 2022
DO  - 10.46298/lmcs-18(3:19)2022
UR  - https://arxiv.org/abs/2109.15295
ID  - 2109.15295
ER  -