Distributed load balancing

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

Original languageEnglish
Title of host publicationProgram Development by Refinement
Subtitle of host publicationCase Studies Using the B Method
EditorsEmil Sekerinski, Kaisa Sere
PublisherSpringer
Chapter7
Pages255-300
ISBN (Print)978-1-85233-053-8
DOIs
Publication statusPublished - 1999
MoE publication typeA3 Part of a book or another research book

Cite this