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, Vol. 104 (2004), pp. 5 - 24
2004article/chapter in journal
Computer Science
Title:
Verifying a Behavioural Logic for Graph Transformation Systems
Author:
Baldan, Paolo;Corradini, Andrea;König, BarbaraUDE
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
-
0000-0002-4193-2889
- Other
- connected with university
Year of publication:
2004
Appears in
Electronic Notes in Theoretical Computer Science. - Proceedings of the Workshop of the COMETA Project on Computational Metamodels
in:
Vol. 104 (2004), pp. 5 - 24
ISSN