Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard:
Verifying a Behavioural Logic for Graph Transformation Systems
In: Electronic Notes in Theoretical Computer Science. - Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Band 104 (2004), S. 5 - 24
2004Artikel/Aufsatz in Zeitschrift
Informatik
Titel:
Verifying a Behavioural Logic for Graph Transformation Systems
Autor*in:
Baldan, Paolo;Corradini, Andrea;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
König, Bernhard
Erscheinungsjahr:
2004