TY  - RPRT
TI  - Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
AU  - Ansgar Fehnker
AU  - Hubert Garavel
PY  - 2020
DO  - 10.4204/eptcs.316
UR  - https://arxiv.org/abs/2004.12403
ID  - 2004.12403
ER  -