- CSB - MetaPress - Google - Bing - Yahoo
 | 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 | Peter Grønning | [1] [2] |
| 2 | Hans Henrik Løvengreen | [1] [2] |