TY  - CONF

T1  - Modelling Divergence in Relational Concurrent Refinement

JO  - INTEGRATED FORMAL METHODS, PROCEEDINGS

PY  - 2009/01/01

AU  - Boitlen E

AU  - Derrick J

ED  - Leuschel M

ED  - Wehrheim H

VL  - 5423

SP  - 183

EP  - 199

Y2  - 2024/12/22

ER  -