A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures

Simple item page
datacite.relatedItem.firstPage27
datacite.relatedItem.issue1
datacite.relatedItem.relatedIdentifierTypeISSN
datacite.relatedItem.relatedItemIdentifier2079-8954
datacite.relatedItem.relationTypeIsPublishedIn
datacite.relatedItem.titleSystems
datacite.relatedItem.volume12
dc.contributor.authorDaniel Dunbar
dc.contributor.authorThomas Hagedorn
dc.contributor.authorMark Blackburn
dc.contributor.authorDinesh Verma
dc.date.accessioned2025-05-22T12:07:39Z
dc.date.available2025-05-22T12:07:39Z
dc.date.issued2024
dc.identifier.doihttps://doi.org/10.3390/systems12010027
dc.identifier.otherjz000181-0027
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39770
dc.publisherMDPI AG
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subject.ddc600
dc.titleA Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures
dc.typeArticle
dcat.distribution.pdfhttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39771
dcat.distribution.supplierxmlhttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39772
dspace.entity.typeDataset
relation.isDistributionOfDatasetdd86b3dc-f2d4-45e5-9c1f-9d179b144dbc
relation.isDistributionOfDatasetbd928460-e709-42da-93ce-660039a647f6
relation.isDistributionOfDatasetefaab8ae-6094-4d3d-8f72-d76c295738dd
relation.isDistributionOfDataset.latestForDiscoverydd86b3dc-f2d4-45e5-9c1f-9d179b144dbc
wdm.archivematicaaipuuid.original534b98b5-20af-4b19-acf9-cbb1a1d59ec3

Files

Collections

2024