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]
@inproceedings{EdelkampJL06,
title = {Heuristic Search for the Analysis of Graph Transition Systems},
author = {Stefan Edelkamp and Shahid Jabbar and Alberto Lluch-Lafuente},
year = {2006},
doi = {10.1007/11841883_29},
url = {http://dx.doi.org/10.1007/11841883_29},
tags = {analysis, graph-rewriting, rewriting, search},
researchr = {https://researchr.org/publication/EdelkampJL06},
cites = {0},
citedby = {0},
pages = {414-429},
booktitle = {Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg},
volume = {4178},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-38870-2},
}