Development of Fault Tolernt Grid Applications Using Distributed B

Pontus Boström, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationIntegrated Formal Methods : 5th International Conference, IFM2005
EditorsJ Romijn, G Smith, van der Pol J.
PublisherSpringer
Pages167–186
ISBN (Electronic)978-3-540-32240-5
ISBN (Print)978-3-540-30492-0
DOIs
Publication statusPublished - 2005
MoE publication typeA4 Article in a conference publication
Eventconference; 2005-11-29; 2005-12-02 - 5th International Conference on Integrated Formal Methods, IFM2005
Duration: 29 Nov 20052 Dec 2005

Conference

Conferenceconference; 2005-11-29; 2005-12-02
Period29/11/0502/12/05

Cite this