Encoding nets-within-nets in maude

Link:
Autor/in:
Verlag/Körperschaft:
Springer
Erscheinungsjahr:
2023
Medientyp:
Text
Schlagworte:
  • Dynamically-Reconfigurable Systems
  • Maude
  • Nets-within-Nets
  • 004: Informatik
  • ddc:004
Beschreibung:
  • PeerReviewed
Quellsystem:
ReposIt
Interne Metadaten
Quelldatensatz
oai:reposit.haw-hamburg.de:20.500.12738/14106