| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page