TY  - RPRT
TI  - Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity
AU  - Wan Fokkink
AU  - Rob van Glabbeek
PY  - 2017
DO  - 10.1016/j.ic.2017.10.003
UR  - https://arxiv.org/abs/1604.07530
ID  - 1604.07530
ER  -