Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung

Jäschke, Christoph; Schmitt, Carsten; Herter, Ulla; Wich, Tobias; Rust, Jochen

DC Element	Wert	Sprache
dc.contributor.author	Jäschke, Christoph	-
dc.contributor.author	Schmitt, Carsten	-
dc.contributor.author	Herter, Ulla	-
dc.contributor.author	Wich, Tobias	-
dc.contributor.author	Rust, Jochen	-
dc.date.accessioned	2024-05-03T06:56:13Z	-
dc.date.available	2024-05-03T06:56:13Z	-
dc.date.issued	2010	-
dc.identifier.isbn	978-3-8396-0103-7	en_US
dc.identifier.uri	http://hdl.handle.net/20.500.12738/15685	-
dc.language.iso	de	en_US
dc.publisher	Fraunhofer-Verlag	en_US
dc.subject.ddc	004: Informatik	en_US
dc.title	Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung	de
dc.type	inProceedings	en_US
dc.relation.conference	Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010	en_US
dc.description.version	PeerReviewed	en_US
local.contributorCorporate.editor	Gesellschaft für Informatik e.V.	-
local.contributorPerson.editor	Dietrich, Manfred	-
tuhh.container.endpage	236	en_US
tuhh.container.startpage	227	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Universität Bremen	en_US
tuhh.publisher.url	https://dblp.org/db/conf/mbmv/mbmv2010.html	-
tuhh.relation.ispartofseries	13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband	en_US
tuhh.type.opus	InProceedings (Aufsatz / Paper einer Konferenz etc.)	-
dc.type.casrai	Conference Paper	-
dc.type.dini	contributionToPeriodical	-
dc.type.driver	contributionToPeriodical	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
item.openairecristype	http://purl.org/coar/resource_type/c_5794	-
item.fulltext	No Fulltext	-
item.grantfulltext	none	-
item.openairetype	inProceedings	-
item.tuhhseriesid	13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband	-
item.creatorGND	Jäschke, Christoph	-
item.creatorGND	Schmitt, Carsten	-
item.creatorGND	Herter, Ulla	-
item.creatorGND	Wich, Tobias	-
item.creatorGND	Rust, Jochen	-
item.languageiso639-1	de	-
item.creatorOrcid	Jäschke, Christoph	-
item.creatorOrcid	Schmitt, Carsten	-
item.creatorOrcid	Herter, Ulla	-
item.creatorOrcid	Wich, Tobias	-
item.creatorOrcid	Rust, Jochen	-
item.cerifentitytype	Publications	-
item.seriesref	13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband	-
crisitem.author.dept	Department Informatik	-
crisitem.author.orcid	0000-0002-1345-076X	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Enthalten in den Sammlungen:	Publications without full text