TY  - RPRT
TI  - Analyzing Flowgraphs with ATL
AU  - Valerio Cosentino
AU  - Massimo Tisi
AU  - Fabian Büttner
PY  - 2013
DO  - 10.4204/eptcs.135.4
UR  - https://arxiv.org/abs/1312.0343
ID  - 1312.0343
ER  -