Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto:

A Temporal Graph Logic for Verification of Graph Transformation Systems

In: Recent Trends in Algebraic Development Techniques : Proceedings of the 18th International Workshop on Algebraic Development Techniques, WADT '06. - (Lecture Notes in Computer Science ; 4409)
Berlin [u.a.]: Springer (2007), S. 1-20
ISBN: 3-540-71997-0
Buchaufsatz / Kapitel / Fach: Informatik