DC Field | Value | Language |
---|---|---|
dc.contributor.author | Padberg, Julia | - |
dc.contributor.author | Hoffmann, Kathrin | - |
dc.contributor.author | Gajewsky, Magdalena | - |
dc.date.accessioned | 2020-08-26T12:17:46Z | - |
dc.date.available | 2020-08-26T12:17:46Z | - |
dc.date.issued | 2000 | |
dc.identifier.isbn | 3-540-67261-3 | |
dc.identifier.uri | http://hdl.handle.net/20.500.12738/3493 | - |
dc.publisher | Springer | |
dc.relation.ispartofseries | Lecture notes in computer science | |
dc.title | Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems | |
dc.type | inProceedings | en_US |
tuhh.container.endpage | 265 | |
tuhh.container.startpage | 249 | |
tuhh.container.volume | 1783 | |
tuhh.oai.show | true | en_US |
tuhh.publication.institute | Technische Universität Berlin | en_US |
tuhh.publisher.doi | 10.1007/3-540-46428-X_18 | |
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.creatorGND | Padberg, Julia | - |
item.creatorGND | Hoffmann, Kathrin | - |
item.creatorGND | Gajewsky, Magdalena | - |
item.fulltext | No Fulltext | - |
item.creatorOrcid | Padberg, Julia | - |
item.creatorOrcid | Hoffmann, Kathrin | - |
item.creatorOrcid | Gajewsky, Magdalena | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
item.openairetype | inProceedings | - |
crisitem.author.dept | Department Informatik | - |
crisitem.author.parentorg | Fakultät Technik und Informatik | - |
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.