| |
| 1992 | ||
|---|---|---|
| 2 | Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. CAV 1992: 44-55 | |
| 1 | Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. Larch 1992: 86-97 | |
| 1 | Peter Grønning | [1] [2] |
| 2 | Leslie Lamport | [1] [2] |