| DC Element | Wert | Sprache |
|---|---|---|
| dc.contributor.author | Padberg, Julia | |
| dc.contributor.author | Schulz, Alexander | |
| dc.date.accessioned | 2020-08-26T12:27:10Z | - |
| dc.date.available | 2020-08-26T12:27:10Z | - |
| dc.date.issued | 2016-7-5 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12738/4157 | - |
| dc.title | Model Checking Reconfigurable Petri Nets with Maude | |
| dc.type | inProceedings | |
| dc.relation.conference | Graph Transformation - th International Conference ; Wien | |
| tuhh.oai.show | true | en_US |
| tuhh.publication.institute | Department Informatik | |
| tuhh.publication.institute | Fakultät Technik und Informatik | |
| tuhh.publisher.doi | 10.1007/978-3-319-40530-8_4 | |
| tuhh.type.opus | InProceedings (Aufsatz / Paper einer Konferenz etc.) | - |
| dc.type.casrai | Conference Paper | - |
| dc.type.dini | contributionToPeriodical | - |
| dc.type.driver | contributionToPeriodical | - |
| dcterms.DCMIType | Text | - |
| item.openairetype | inProceedings | - |
| item.creatorGND | Padberg, Julia | - |
| item.creatorGND | Schulz, Alexander | - |
| item.creatorOrcid | Padberg, Julia | - |
| item.creatorOrcid | Schulz, Alexander | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| crisitem.author.dept | Department Informatik (ehemalig, aufgelöst 10.2025) | - |
| crisitem.author.dept | Servicebereich Personalservice | - |
| crisitem.author.parentorg | Fakultät Technik und Informatik (ehemalig, aufgelöst 10.2025) | - |
| crisitem.author.parentorg | Präsidium | - |
| Enthalten in den Sammlungen: | Publications without full text | |
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.