Browsing by Sponsor/Funder Ocean Observatories Initiative
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| Jul-2016 | Multiparty session types for dynamic verification of distributed systems | Yoshida, Nobuko; Neykova, Rumyana; , et al |