Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard:
Verifying a Behavioural Logic for Graph Transformation Systems
2004
In: Electronic Notes in Theoretical Computer Science. - Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Band 104 (2004), S. 5 - 24
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Verifying a Behavioural Logic for Graph Transformation Systems
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; König, Bernhard
Erscheinungsjahr:
2004
Erschienen in:
Electronic Notes in Theoretical Computer Science. - Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Band 104 (2004), S. 5 - 24
ISSN:
Link URL: