TY  - RPRT
TI  - Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence
AU  - Wan Fokkink
AU  - Rob van Glabbeek
AU  - Bas Luttik
PY  - 2019
DO  - 10.1016/j.ic.2019.104435
UR  - https://arxiv.org/abs/1908.06550
ID  - 1908.06550
ER  -