| |
| 1992 | ||
|---|---|---|
| 4 | Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. CAV 1992: 44-55 | |
| 3 | Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. Larch 1992: 86-97 | |
| 1990 | ||
| 2 | Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen: Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. FSTTCS 1990: 332-348 | |
| 1 | Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen: Stepwise Development of a Distributed Load Balancing Algorithms. WDAG 1990: 151-168 | |
| 1 | Urban Engberg | [3] [4] |
| 2 | Leslie Lamport | [3] [4] |
| 3 | Hans Henrik Løvengreen | [1] [2] |
| 4 | Thomas Qvist Nielsen | [1] [2] |