@misc{indiciae699c9c8847d3,
  title = {AsmetaF: A Flattener for the ASMETA Framework},
  author = {Paolo Arcaini and Riccardo Melioli and Elvinia Riccobene},
  year = {2018},
  doi = {10.4204/eptcs.284.3},
  url = {https://arxiv.org/abs/1811.10816},
  note = {Source identifier: 1811.10816}
}