| Publisher DOI: | 10.1007/978-3-031-37963-5_25 | Title: | Encoding nets-within-nets in maude | Language: | English | Authors: | Capra, Lorenzo Köhler-Bußmeier, Michael  |
Editor: | Arai, Kohei | Keywords: | Dynamically-Reconfigurable Systems; Maude; Nets-within-Nets | Issue Date: | 20-Aug-2023 | Publisher: | Springer | Part of Series: | Intelligent Computing : Proceedings of the 2023 Computing Conference | Volume number: | 2 | Journal or Series Name: | Lecture notes in networks and systems | Volume: | 739 | Startpage: | 355 | Endpage: | 372 | Conference: | 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 | Edition / version: | 1st ed. 2023 | Review status: | This version was peer reviewed (peer review) | Institute: | Department Informatik Fakultät Technik und Informatik |
Type: | Chapter/Article (Proceedings) |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.