DC ElementWertSprache
dc.contributor.authorPadberg, Julia
dc.contributor.authorSchulz, Alexander
dc.date.accessioned2020-08-26T12:27:10Z-
dc.date.available2020-08-26T12:27:10Z-
dc.date.issued2016-7-5
dc.identifier.urihttp://hdl.handle.net/20.500.12738/4157-
dc.titleModel Checking Reconfigurable Petri Nets with Maude
dc.typeinProceedings
dc.relation.conferenceGraph Transformation - th International Conference ; Wien
tuhh.oai.showtrueen_US
tuhh.publication.instituteDepartment Informatik
tuhh.publication.instituteFakultät Technik und Informatik
tuhh.publisher.doi10.1007/978-3-319-40530-8_4
tuhh.type.opusInProceedings (Aufsatz / Paper einer Konferenz etc.)-
dc.type.casraiConference Paper-
dc.type.dinicontributionToPeriodical-
dc.type.drivercontributionToPeriodical-
dcterms.DCMITypeText-
item.creatorGNDPadberg, Julia-
item.creatorGNDSchulz, Alexander-
item.grantfulltextnone-
item.openairetypeinProceedings-
item.fulltextNo Fulltext-
item.cerifentitytypePublications-
item.creatorOrcidPadberg, Julia-
item.creatorOrcidSchulz, Alexander-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
crisitem.author.deptDepartment Informatik-
crisitem.author.deptServicebereich Personalservice-
crisitem.author.parentorgFakultät Technik und Informatik-
crisitem.author.parentorgPräsidium-
Enthalten in den Sammlungen:Publications without full text
Zur Kurzanzeige

Google ScholarTM

Prüfe

HAW Katalog

Prüfe

Volltext ergänzen

Feedback zu diesem Datensatz


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.