@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",
}