Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2102.11960
Cited By
v1
v2
v3 (latest)
Design and Analysis of a Logless Dynamic Reconfiguration Protocol
23 February 2021
William Schultz
Siyuan Zhou
Ian Dardik
S. Tripakis
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Design and Analysis of a Logless Dynamic Reconfiguration Protocol"
1 / 1 papers shown
Title
Formal Verification of a Distributed Dynamic Reconfiguration Protocol
William Schultz
Ian Dardik
S. Tripakis
50
11
0
24 Sep 2021
1
