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

Verlagslink DOI:	10.1007/3-540-46428-X_18
Titel:	Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Autorenschaft:	Padberg, Julia Hoffmann, Kathrin Gajewsky, Magdalena
Erscheinungsdatum:	2000
Verlag:	Springer
Zeitschriftenband:	1783
Anfangsseite:	249
Endseite:	265
URI:	http://hdl.handle.net/20.500.12738/3493
ISBN:	3-540-67261-3
Einrichtung:	Technische Universität Berlin
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text