SPLASH 2021 (series) / Swen Jacobs
Registered user since Thu 14 Oct 2021
Name:Swen Jacobs
Country:Germany
Affiliation:CISPA
Contributions
SPLASH 2021 | QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile