Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:journals/corr/abs-1210-6413
AU - Zambon, Eduardo
AU - Rensink, Arend
TI - Graph Subsumption in Abstract State Space Exploration
BT - Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012.
SP - 35
EP - 49
PY - 2012//
DO - 10.4204/EPTCS.99.6
UR - https://doi.org/10.4204/EPTCS.99.6
UR - http://arxiv.org/abs/1210.6413
ER -