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

Padberg, Julia; Enders, Bettina

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

Publisher DOI:	10.1007/3-540-45832-8_25
Title:	Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
Authors:	Padberg, Julia Enders, Bettina
Issue Date:	2002
Publisher:	Springer
Volume:	2505
Startpage:	334
Endpage:	350
URI:	http://hdl.handle.net/20.500.12738/3411
ISBN:	3-540-44310-X
Institute:	Technische Universität Berlin
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text