Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Josef Widder
Informal Systems
Verified email at informal.systems
Cited by 1642
fault tolerance
distributed algorithms
Byzantine faults
computer-aided verification
model checking
Privacy
Terms
Help
About Scholar
Search help