SPLASH 2021 (series) / Udi Boker
Not registered as user yet
Name:Udi Boker
Affiliation:IDC Herzliya, Israel
Contributions
SPLASH 2021 | Decidable Verification under a Causally Consistent Shared Memory | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile