| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Capra, Lorenzo | - |
| dc.contributor.author | Köhler-Bußmeier, Michael | - |
| dc.date.accessioned | 2023-06-13T11:39:31Z | - |
| dc.date.available | 2023-06-13T11:39:31Z | - |
| dc.date.issued | 2023-06-07 | - |
| dc.identifier.isbn | 9781450395175 | en_US |
| dc.identifier.uri | http://hdl.handle.net/20.500.12738/13867 | - |
| dc.language.iso | en | en_US |
| dc.publisher | Association for Computing Machinery | en_US |
| dc.subject | Adaptive Systems | en_US |
| dc.subject | Petri Nets | en_US |
| dc.subject | Maude | en_US |
| dc.subject | Nets-within-Nets | en_US |
| dc.subject.ddc | 004: Informatik | en_US |
| dc.title | Maude specification of nets-within-nets : a formal model of adaptable distributed systems | en |
| dc.type | inProceedings | en_US |
| dc.relation.conference | Annual ACM Symposium on Applied Computing 2023 | en_US |
| dc.description.version | PeerReviewed | en_US |
| tuhh.container.endpage | 191 | en_US |
| tuhh.container.startpage | 188 | en_US |
| tuhh.oai.show | true | en_US |
| tuhh.publication.institute | Fakultät Technik und Informatik | en_US |
| tuhh.publication.institute | Department Informatik | en_US |
| tuhh.publisher.doi | 10.1145/3555776.3578617 | - |
| tuhh.relation.ispartofseries | SAC '23 : Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing | en_US |
| tuhh.type.opus | InProceedings (Aufsatz / Paper einer Konferenz etc.) | - |
| dc.type.casrai | Conference Paper | - |
| dc.type.dini | contributionToPeriodical | - |
| dc.type.driver | contributionToPeriodical | - |
| dc.type.status | info:eu-repo/semantics/publishedVersion | en_US |
| dcterms.DCMIType | Text | - |
| item.openairetype | inProceedings | - |
| item.languageiso639-1 | en | - |
| item.creatorGND | Capra, Lorenzo | - |
| item.creatorGND | Köhler-Bußmeier, Michael | - |
| item.creatorOrcid | Capra, Lorenzo | - |
| item.creatorOrcid | Köhler-Bußmeier, Michael | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
| item.tuhhseriesid | SAC '23 : Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| item.seriesref | SAC '23 : Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing | - |
| crisitem.author.dept | Department Informatik (ehemalig, aufgelöst 10.2025) | - |
| crisitem.author.orcid | 0000-0002-3074-4145 | - |
| crisitem.author.parentorg | Fakultät Technik und Informatik (ehemalig, aufgelöst 10.2025) | - |
| Appears in Collections: | Publications without full text | |
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.