TY  - RPRT
TI  - Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
AU  - Thorsten Wißmann
AU  - Stefan Milius
AU  - Lutz Schröder
PY  - 2023
DO  - 10.46298/lmcs-18(4:6)2022
UR  - https://arxiv.org/abs/2203.11175
ID  - 2203.11175
ER  -