IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Fri, 29 Mar 2024 14:08:03 +0100Fri, 29 Mar 2024 14:08:03 +0100en A Temporal Graph Logic for Verification of Graph Transformation Systems
http://eprints.imtlucca.it/159/
Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)