Development of Fault Tolernt Grid Applications Using Distributed B

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Integrated Formal Methods : 5th International Conference, IFM2005
Editors	J Romijn, G Smith, van der Pol J.
Publisher	Springer
Pages	167–186
ISBN (Electronic)	978-3-540-32240-5
ISBN (Print)	978-3-540-30492-0
DOIs	https://doi.org/10.1007/11589976_11
Publication status	Published - 2005
MoE publication type	A4 Article in a conference publication
Event	conference; 2005-11-29; 2005-12-02 - 5th International Conference on Integrated Formal Methods, IFM2005 Duration: 29 Nov 2005 → 2 Dec 2005

Conference	conference; 2005-11-29; 2005-12-02
Period	29/11/05 → 02/12/05

Access to Document

@inproceedings{51e9f7d29ac94e11a8b95a3bb8b11f0d,

title = "Development of Fault Tolernt Grid Applications Using Distributed B",

author = "Pontus Bostr{\"o}m and Marina Walden",

year = "2005",

doi = "10.1007/11589976_11",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-540-30492-0",

pages = "167–186",

editor = "J Romijn and G Smith and {Pol J.}, {van der}",

booktitle = "Integrated Formal Methods : 5th International Conference, IFM2005",

publisher = "Springer",

note = "conference; 2005-11-29; 2005-12-02 ; Conference date: 29-11-2005 Through 02-12-2005",

}

TY - GEN

T1 - Development of Fault Tolernt Grid Applications Using Distributed B

AU - Boström, Pontus

AU - Walden, Marina

PY - 2005

Y1 - 2005

U2 - 10.1007/11589976_11

DO - 10.1007/11589976_11

M3 - Konferensbidrag

SN - 978-3-540-30492-0

SP - 167

EP - 186

BT - Integrated Formal Methods : 5th International Conference, IFM2005

A2 - Romijn, J

A2 - Smith, G

A2 - Pol J., van der

PB - Springer

T2 - conference; 2005-11-29; 2005-12-02

Y2 - 29 November 2005 through 2 December 2005

ER -