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