Development of Fault Tolernt Grid Applications Using Distributed B

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Integrated Formal Methods : 5th International Conference, IFM2005
Redaktörer	J Romijn, G Smith, van der Pol J.
Förlag	Springer
Sidor	167–186
ISBN (elektroniskt)	978-3-540-32240-5
ISBN (tryckt)	978-3-540-30492-0
DOI	https://doi.org/10.1007/11589976_11
Status	Publicerad - 2005
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2005-11-29; 2005-12-02 - 5th International Conference on Integrated Formal Methods, IFM2005 Varaktighet: 29 nov. 2005 → 2 dec. 2005

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

Åtkomst av dokument

@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 -