Login / Signup

Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction.

Peter BackesJan Reineke
Published in: VMCAI (2015)
Keyphrases