TY  - RPRT
TI  - DAG-width of Control Flow Graphs with Applications to Model Checking
AU  - Therese Biedl
AU  - Sebastian Fischmeister
AU  - Neeraj Kumar
PY  - 2015
UR  - https://arxiv.org/abs/1503.00793
ID  - 1503.00793
ER  -