| 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