Peter Grønning
Former employee
Publications
(2)- Published
Stepwise Development of a Distributed Load Balancing Algorithm
Publication: Research - peer-review › Article in proceedings – Annual report year: 1991
- Published
Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables
Publication: Research - peer-review › Article in proceedings – Annual report year: 1990
Projects
(1)- Completed
ID: 2187915