Message Chains for Distributed System Verification

Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Message Chains for Distributed System Verification'. Together they form a unique fingerprint.

Computer Science