Graph Grammar Verification through Abstraction
Reference
Paolo Baldan, Barbara König, and Arend Rensink. Graph grammar verification through abstraction. In Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Dagstuhl Seminar Proceedings 04241, 2005.
Suggested BibTeX entry:
@inproceedings{BKR05,
author = {Paolo Baldan and Barbara K{\"o}nig and Arend Rensink},
booktitle = {{A}bstracts {C}ollection -- {G}raph Transformations and Process Algebras for Modeling Distributed and Mobile Systems},
series = {Dagstuhl Seminar Proceedings 04241},
title = {Graph Grammar Verification through Abstraction},
year = {2005}
}
