Verifying specifications with associated attributes in graph transformation systems

Yu Zhou, Yankai Huang, Ou Wei, Zhiqiu Huang. Verifying specifications with associated attributes in graph transformation systems. Frontiers of Computer Science in China, 9(3):364-374, 2015. [doi]

Abstract

Abstract is missing.