TY  - RPRT
TI  - AsmetaF: A Flattener for the ASMETA Framework
AU  - Paolo Arcaini
AU  - Riccardo Melioli
AU  - Elvinia Riccobene
PY  - 2018
DO  - 10.4204/eptcs.284.3
UR  - https://arxiv.org/abs/1811.10816
ID  - 1811.10816
ER  -