Original language | English |
---|---|
Title of host publication | Development by Refinement: Case Studies Using the B Method |
Editors | Emil Sekerinski, Kaisa Sere |
Publisher | Springer Verlag |
Chapter | 7 |
Pages | 255-300 |
Publication status | Published - 1998 |
MoE publication type | A3 Part of a book or another research book |
Distributed Load Balancing
Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review