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

Simple item page
dc.contributor.authorDaniel Dunbar
dc.contributor.authorThomas Hagedorn
dc.contributor.authorMark Blackburn
dc.contributor.authorDinesh Verma
dc.date.accessioned2025-05-22T12:07:40Z
dc.date.available2025-05-22T12:07:40Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39772
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.typesupplierxml
dspace.entity.typeDistribution
relation.isDatasetOfDistribution44f89d75-1abd-4a9b-86e3-3b16fc97e515
relation.isDatasetOfDistribution.latestForDiscovery44f89d75-1abd-4a9b-86e3-3b16fc97e515

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
systems-12-01-00027.xml
Size:
267.11 KB
Format:
Extensible Markup Language
Download

Collections

2024