Model Checking Reconfigurable Petri Nets with Maude Link: http://hdl.handle.net/20.500.12738/4157 Autor/in: Padberg, Julia Schulz, Alexander Erscheinungsjahr: 2016 Medientyp: Text Quellsystem: ReposIt Interne Metadaten Quelldatensatz oai:reposit.haw-hamburg.de:20.500.12738/4157