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, Jg. 104 (2004), S. 5 - 24
ISSN: 1571-0661
Zeitschriftenaufsatz / Fach: Informatik