Back to results

University of Illinois at Urbana-Champaign

Scalable verification for complex networks

dc:creator Chou, Kuan-Yen

thesis:degree_name Ph.D.

dc:date2024

Abstract

dc:description

Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms

Degree

thesis:*

Name thesis:degree_name: Ph.D.
Level thesis:degree_level: Dissertation
Discipline thesis:degree_discipline: Computer Science
Grantor: University of Illinois at Urbana-Champaign
Year dc:date: 2024

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Chou, Kuan-Yen
Contributors dc:contributor: Godfrey, Philip B
Caesar, Matthew C
Mittal, Radhika
Xu, Tianyin
Walker, David
Smolka, Steffen

Subjects

dc:subject × 7

Rights

dc:rights

Statement dc:rights: Copyright 2024 Kuan-Yen Chou
Language dc:language: en, eng

Identifiers

dc:identifier.*

Handle dc:identifier: https://hdl.handle.net/2142/127193
OAI identifier oai:identifier: oai:www.ideals.illinois.edu:2142/127193

Chain of custody

source

Harvested from: University of Illinois - Urbana-Champaign
Base URL: www.ideals.illinois.edu/oai-pmh
Last updated: 2026-07-22
Source record: OAI-PMH GetRecord

related terms

citation

Chou, Kuan-Yen. Scalable verification for complex networks. Dissertation thesis, University of Illinois at Urbana-Champaign, 2024. https://hdl.handle.net/2142/127193

More from University of Illinois - Urbana-Champaign