TY  - RPRT
TI  - Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
AU  - Shang-Wei Lin
AU  - Laure Petrucci
PY  - 2014
DO  - 10.4204/eptcs.156
UR  - https://arxiv.org/abs/1407.1952
ID  - 1407.1952
ER  -