Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems

Padberg, Julia; Enders, Bettina

doi:10.1007/3-540-45832-8_25

Verlagslink DOI:	10.1007/3-540-45832-8_25
Titel:	Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
Autorenschaft:	Padberg, Julia Enders, Bettina
Erscheinungsdatum:	2002
Verlag:	Springer
Zeitschriftenband:	2505
Anfangsseite:	334
Endseite:	350
URI:	http://hdl.handle.net/20.500.12738/3411
ISBN:	3-540-44310-X
Einrichtung:	Technische Universität Berlin
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text