TY  - RPRT
TI  - MDM: A Mode Diagram Modeling Framework
AU  - Zheng Wang
AU  - Geguang Pu
AU  - Jianwen Li
AU  - Jifeng He
AU  - Shengchao Qin
AU  - Kim G. Larsen
AU  - Jan Madsen
AU  - Bin Gu
PY  - 2013
DO  - 10.4204/eptcs.105.10
UR  - https://arxiv.org/abs/1301.0046
ID  - 1301.0046
ER  -