Development of Fault Tolernt Grid Applications Using Distributed B

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Marina Waldén
Editors: Romijn J, Smith G, van der Pol J.
Publisher: Springer
Publication year: 2005
Publisher: Springer
Book title: Integrated Formal Methods : 5th International Conference, IFM2005
Title of series: Lecture Notes in Computer Science
Number in series: 3771
Volume number: 3771
Start page: 167
End page: 186
ISBN: 978-3-540-30492-0
eISBN: 978-3-540-32240-5
ISSN: 0302-9743

Last updated on 2019-20-09 at 08:29