Rule-based refinement of high-level nets preserving safety properties

Padberg, Julia; Gajewsky, Magdalena; Ermel, Claudia

doi:10.1016/S0167-6423(00)00022-8

Verlagslink DOI:	10.1016/S0167-6423(00)00022-8
Titel:	Rule-based refinement of high-level nets preserving safety properties
Autorenschaft:	Padberg, Julia Gajewsky, Magdalena Ermel, Claudia
Erscheinungsdatum:	2001
Zeitschrift oder Schriftenreihe:	Science of computer programming : methods of software design: techniques and applications
Zeitschriftenband:	40
Zeitschriftenausgabe:	1
Anfangsseite:	97
Endseite:	118
URI:	http://hdl.handle.net/20.500.12738/3385
ISSN:	0167-6423
Einrichtung:	Technische Universität Berlin
Dokumenttyp:	Zeitschriftenbeitrag
Enthalten in den Sammlungen:	Publications without full text