Unfolding Graph Transformation Systems: Theory and Applications to ...
Reference
Paolo Baldan, Andrea Corradini, and Barbara König. Unfolding graph transformation systems: Theory and applications to verification. In Pierpaolo Degano, Rocco De Nicola, and José Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pages 16–36. Springer, 2008. LNCS 5065.
Suggested BibTeX entry:
@inproceedings{BCK08a,
author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'e} Meseguer},
note = {{LNCS} 5065},
pages = {16--36},
publisher = {Springer},
title = {Unfolding Graph Transformation Systems: Theory and Applications to Verification},
year = {2008}
}
