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