TY  - RPRT
TI  - Graph Subsumption in Abstract State Space Exploration
AU  - Eduardo Zambon
AU  - Arend Rensink
PY  - 2012
DO  - 10.4204/eptcs.99.6
UR  - https://arxiv.org/abs/1210.6413
ID  - 1210.6413
ER  -