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
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
A Temporal Graph Logic for Verification of Graph Transformation Systems
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Lluch Lafuente, Alberto
Erscheinungsjahr
2007
Erschienen 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
WWW URL