Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems

Padberg, Julia; Hoffmann, Kathrin; Gajewsky, Magdalena

doi:10.1007/3-540-46428-X_18

Publisher DOI:	10.1007/3-540-46428-X_18
Title:	Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Authors:	Padberg, Julia Hoffmann, Kathrin Gajewsky, Magdalena
Issue Date:	2000
Publisher:	Springer
Volume:	1783
Startpage:	249
Endpage:	265
URI:	http://hdl.handle.net/20.500.12738/3493
ISBN:	3-540-67261-3
Institute:	Technische Universität Berlin
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text