| |
| 1996 | ||
|---|---|---|
| 1 | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch: Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. FORTE 1996: 29-44 | |
| 1 | Stephen J. Garland | [1] |
| 2 | Victor Luchangco | [1] |
| 3 | Nancy A. Lynch | [1] |
| 4 | Anna Pogosyants | [1] |