Enders, Bettina E.; Padberg, Julia:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
In: Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings / Corradini, Andrea; Ehrig, Hartmut; Kreowski, Hans -Jörg; Rozenberg, Grzegorz (Hrsg.). - Graph Transformation : First International Conference, ICGT 2002, October 7–12, 2002, Barcelona - Berlin: Springer, 2002 - (Lecture notes in computer science ; 2505), S. 334 - 350
2002Buchaufsatz/Kapitel in Tagungsband
Wirtschaftswissenschaften
Titel in Englisch:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
Autor*in:
Enders, Bettina E.;Padberg, Julia
Sprache des Textes:
Englisch