| 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.