A formally verified algorithm for interactive consistency under a hybrid fault model
Edición de la obra A formally verified algorithm for interactive consistency under a hybrid fault model
| Autor | Patrick Lincoln |
|---|---|
| Editorial | Langley Research Center |
| Fecha de publicación | 1993 |
| Lugar | Hampton, Va |
| Páginas | 67 |
| Número de Cutter | L738f |