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