A Temporal Graph Logic for Verification of Graph Transformation ...
Reference
Paolo Baldan, Andrea Corradini, Barbara König, and Alberto Lluch Lafuente. A temporal graph logic for verification of graph transformation systems. In Proc. of WADT '06 (Workshop on Algebraic Development Techniques), pages 1–20. Springer, 2007. LNCS 4409.
Suggested BibTeX entry:
@inproceedings{BCKL07,
author = {Paolo Baldan and Andrea Corradini and Barbara K{\"o}nig and Lluch Lafuente, Alberto},
booktitle = {Proc. of WADT '06 (Workshop on Algebraic Development Techniques)},
note = {LNCS 4409},
pages = {1--20},
publisher = {Springer},
title = {A Temporal Graph Logic for Verification of Graph Transformation Systems},
year = {2007}
}
