Travelled to:
1 × India
Collaborated with:
J.Reineke
Talks about:
transform (1) abstract (1) infinit (1) cluster (1) analysi (1) system (1) state (1) graph (1)
Person: Peter Backes
DBLP: Backes:Peter
Contributed to:
Wrote 1 papers:
- VMCAI-2015-BackesR #abstraction #analysis #clustering #graph transformation #infinity
- Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction (PB, JR), pp. 135–152.