A heuristic solution for model checking graph transformation systems.

Wed, 01 Jan 2014 00:00:00 +0100

Rosa Yousefian, Vahid Rafe, Mohsen Rahmani :
A heuristic solution for model checking graph transformation systems. Appl. Soft Comput. 24: 169-180 (2014)