Peter Grønning
(Former)
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
Download as:
Download as:
To download, please limit the number of search results to 1,000 or less.
ID: 2187915