Novel approach for attributed graph grammar response specification verification
HUANG Yankai, ZHOU Yu, WEI Ou
Computer Engineering and Applications . 2016, (12): 15 -18 .