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 Sammelwerk2007Informatik
Titel:
A Temporal Graph Logic for Verification of Graph Transformation Systems
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, BarbaraLSF; Lluch Lafuente, Alberto
Erscheinungsjahr
2007
WWW URL
Erschienen in:
Titel:
Recent Trends in Algebraic Development Techniques : Proceedings of the 18th International Workshop on Algebraic Development Techniques, WADT '06. - (Lecture Notes in Computer Science ; 4409)
Erscheinungsort
Berlin [u.a.]
Verlag
Springer
Erscheinungsjahr
2007
in:
S. 1 - 20
ISBN: