conf.researchr.org / Wolf Honore
Registered user since Wed 7 Jul 2021
Name:Wolf Honore
Contributions
2024
2022
2021
SPLASH
- Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the OOPSLA-track
- Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the Posters-track