Distribution
supplierxml.listelement.badge

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

No Thumbnail Available

Format

supplierxml

Authors

Journal ISSN

Publisher

Dataset

No Thumbnail Available
Dataset
A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures
(MDPI AG, 2024) Daniel Dunbar; Thomas Hagedorn; Mark Blackburn; Dinesh Verma

Description

Keywords

URI

https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39772

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