Fingerprint
Dive into the research topics of 'SPY: Local verification of global protocols'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SPY: Local verification of global protocols
Rumyana Neykova, Nobuko Yoshida, Raymond Hu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
25
Citations
(Scopus)