DC FieldValueLanguage
dc.contributor.authorPadberg, Julia-
dc.contributor.authorHoffmann, Kathrin-
dc.contributor.authorGajewsky, Magdalena-
dc.date.accessioned2020-08-26T12:17:46Z-
dc.date.available2020-08-26T12:17:46Z-
dc.date.issued2000
dc.identifier.isbn3-540-67261-3
dc.identifier.urihttp://hdl.handle.net/20.500.12738/3493-
dc.publisherSpringer
dc.relation.ispartofseriesLecture notes in computer science
dc.titleStepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
dc.typeinProceedingsen_US
tuhh.container.endpage265
tuhh.container.startpage249
tuhh.container.volume1783
tuhh.oai.showtrueen_US
tuhh.publication.instituteTechnische Universität Berlinen_US
tuhh.publisher.doi10.1007/3-540-46428-X_18
tuhh.type.opusInProceedings (Aufsatz / Paper einer Konferenz etc.)-
dc.type.casraiConference Paper-
dc.type.dinicontributionToPeriodical-
dc.type.drivercontributionToPeriodical-
dcterms.DCMITypeText-
item.creatorGNDPadberg, Julia-
item.creatorGNDHoffmann, Kathrin-
item.creatorGNDGajewsky, Magdalena-
item.fulltextNo Fulltext-
item.creatorOrcidPadberg, Julia-
item.creatorOrcidHoffmann, Kathrin-
item.creatorOrcidGajewsky, Magdalena-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
item.openairetypeinProceedings-
crisitem.author.deptDepartment Informatik-
crisitem.author.parentorgFakultät Technik und Informatik-
Appears in Collections:Publications without full text
Show simple item record

Page view(s)

39
checked on Dec 26, 2024

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record


Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.