A framework for the verification of infinite-state graph transformation systems
scientific article; zbMATH DE number 5312290
scientific article