 | 1998 |
|---|
| 6 |       | Roberto Segala,
Rainer Gawlick,
Jørgen F. Søgaard-Andersen,
Nancy A. Lynch:
Liveness in Timed and Untimed Systems.
Inf. Comput. 141(2): 119-171 (1998) |
| 1994 |
|---|
| 5 |  | Rainer Gawlick,
Roberto Segala,
Jørgen F. Søgaard-Andersen,
Nancy A. Lynch:
Liveness in Timed and Untimed Systems.
ICALP 1994: 166-177 |
| 1993 |
|---|
| 4 | | Jørgen F. Søgaard-Andersen,
Stephen J. Garland,
John V. Guttag,
Nancy A. Lynch,
Anna Pogosyants:
Computer-Assisted Simulation Proofs.
CAV 1993: 305-319 |
| 3 | | Butler W. Lampson,
Nancy A. Lynch,
Jørgen F. Søgaard-Andersen:
Correctness of At-Most-Once Message Delivery Protocols.
FORTE 1993: 385-400 |
| 1992 |
|---|
| 2 | | Butler W. Lampson,
Nancy A. Lynch,
Jørgen F. Søgaard-Andersen:
At-Most-Once Message Delivery. A Case Study in Algorithm Verification.
CONCUR 1992: 317-324 |
| 1991 |
|---|
| 1 | | William R. Bevier,
Jørgen F. Søgaard-Andersen:
Mechanically Checked Proofs of Kernel Specification.
CAV 1991: 70-82 |
