Development of Fault Tolernt Grid Applications Using Distributed B

Pontus Boström, Marina Walden

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationIntegrated Formal Methods : 5th International Conference, IFM2005
    RedaktörerJ Romijn, G Smith, van der Pol J.
    FörlagSpringer
    Sidor167–186
    ISBN (elektroniskt)978-3-540-32240-5
    ISBN (tryckt)978-3-540-30492-0
    DOI
    StatusPublicerad - 2005
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2005-11-29; 2005-12-02 - 5th International Conference on Integrated Formal Methods, IFM2005
    Varaktighet: 29 nov 20052 dec 2005

    Konferens

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

    Citera det här