DC ElementWertSprache
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.grantfulltextnone-
item.creatorGNDPadberg, Julia-
item.creatorGNDHoffmann, Kathrin-
item.creatorGNDGajewsky, Magdalena-
item.cerifentitytypePublications-
item.creatorOrcidPadberg, Julia-
item.creatorOrcidHoffmann, Kathrin-
item.creatorOrcidGajewsky, Magdalena-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
item.fulltextNo Fulltext-
item.openairetypeinProceedings-
crisitem.author.deptDepartment Informatik-
crisitem.author.parentorgFakultät Technik und Informatik-
Enthalten in den Sammlungen:Publications without full text
Zur Kurzanzeige

Seitenansichten

44
checked on 03.04.2025

Google ScholarTM

Prüfe

HAW Katalog

Prüfe

Volltext ergänzen

Feedback zu diesem Datensatz


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.