DC FieldValueLanguage
dc.contributor.authorJäschke, Christoph-
dc.contributor.authorSchmitt, Carsten-
dc.contributor.authorHerter, Ulla-
dc.contributor.authorWich, Tobias-
dc.contributor.authorRust, Jochen-
dc.date.accessioned2024-05-03T06:56:13Z-
dc.date.available2024-05-03T06:56:13Z-
dc.date.issued2010-
dc.identifier.isbn978-3-8396-0103-7en_US
dc.identifier.urihttp://hdl.handle.net/20.500.12738/15685-
dc.language.isodeen_US
dc.publisherFraunhofer-Verlagen_US
dc.subject.ddc004: Informatiken_US
dc.titleStrukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierungde
dc.typeinProceedingsen_US
dc.relation.conferenceWorkshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010en_US
dc.description.versionPeerRevieweden_US
local.contributorCorporate.editorGesellschaft für Informatik e.V.-
local.contributorPerson.editorDietrich, Manfred-
tuhh.container.endpage236en_US
tuhh.container.startpage227en_US
tuhh.oai.showtrueen_US
tuhh.publication.instituteUniversität Bremenen_US
tuhh.publisher.urlhttps://dblp.org/db/conf/mbmv/mbmv2010.html-
tuhh.relation.ispartofseries13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsbanden_US
tuhh.type.opusInProceedings (Aufsatz / Paper einer Konferenz etc.)-
dc.type.casraiConference Paper-
dc.type.dinicontributionToPeriodical-
dc.type.drivercontributionToPeriodical-
dc.type.statusinfo:eu-repo/semantics/publishedVersionen_US
dcterms.DCMITypeText-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairetypeinProceedings-
item.tuhhseriesid13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband-
item.creatorGNDJäschke, Christoph-
item.creatorGNDSchmitt, Carsten-
item.creatorGNDHerter, Ulla-
item.creatorGNDWich, Tobias-
item.creatorGNDRust, Jochen-
item.languageiso639-1de-
item.creatorOrcidJäschke, Christoph-
item.creatorOrcidSchmitt, Carsten-
item.creatorOrcidHerter, Ulla-
item.creatorOrcidWich, Tobias-
item.creatorOrcidRust, Jochen-
item.cerifentitytypePublications-
item.seriesref13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband-
crisitem.author.deptDepartment Informatik-
crisitem.author.orcid0000-0002-1345-076X-
crisitem.author.parentorgFakultät Technik und Informatik-
Appears in Collections:Publications without full text
Show simple item record

Page view(s)

12
checked on Jul 3, 2024

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record

Export

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