Verification of Concurrent Control Flow in Distributed Computer Systems

Stephen S. Yau, Wonmo Hong

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Verification of Concurrent Control Flow in Distributed Computer Systems'. Together they form a unique fingerprint.

Engineering & Materials Science