A formally verified algorithm for interactive consistency under a hybrid fault model
de Patrick Lincoln · Publicada por primera vez en 1993
Materias
Ediciones (1)
- A formally verified algorithm for interactive consistency under a hybrid fault model (1993)
Langley Research Center
