Rule-based refinement of high-level nets preserving safety properties Link: http://hdl.handle.net/20.500.12738/3385 Autor/in: Padberg, Julia Gajewsky, Magdalena Ermel, Claudia Erscheinungsjahr: 2001 Medientyp: Text Quellsystem: ReposIt Interne Metadaten Quelldatensatz oai:reposit.haw-hamburg.de:20.500.12738/3385