SPLASH 2023 (series) / Christopher Wagner
Registered user since Thu 23 Sep 2021
Name:Christopher Wagner
Country:United States
Affiliation:Purdue University
Contributions
| SPLASH 2023 | Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile