Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente. Heuristic Search for the Analysis of Graph Transition Systems. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Volume 4178 of Lecture Notes in Computer Science, pages 414-429, Springer, 2006. [doi]
Abstract is missing.