Encoding nets-within-nets in maude

Capra, Lorenzo; Köhler-Bußmeier, Michael

doi:10.1007/978-3-031-37963-5_25

Verlagslink DOI:	10.1007/978-3-031-37963-5_25
Titel:	Encoding nets-within-nets in maude
Sprache:	Englisch
Autorenschaft:	Capra, Lorenzo Köhler-Bußmeier, Michael
Herausgeber*In:	Arai, Kohei
Schlagwörter:	Dynamically-Reconfigurable Systems; Maude; Nets-within-Nets
Erscheinungsdatum:	20-Aug-2023
Verlag:	Springer
Teil der Schriftenreihe:	Intelligent Computing : Proceedings of the 2023 Computing Conference
Bandangabe:	2
Zeitschrift oder Schriftenreihe:	Lecture notes in networks and systems
Zeitschriftenband:	739
Anfangsseite:	355
Endseite:	372
Konferenz:	Computing Conference 2023
URI:	http://hdl.handle.net/20.500.12738/14106
ISBN:	978-3-031-37962-8 978-3-031-37963-5
ISSN:	2367-3370
Ausgabe / Version:	1st ed. 2023
Begutachtungsstatus:	Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review)
Einrichtung:	Department Informatik Fakultät Technik und Informatik
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text