Development of Fault Tolernt Grid Applications Using Distributed B

Pontus Boström, Marina Walden

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoIntegrated Formal Methods : 5th International Conference, IFM2005
    ToimittajatJ Romijn, G Smith, van der Pol J.
    KustantajaSpringer
    Sivut167–186
    ISBN (elektroninen)978-3-540-32240-5
    ISBN (painettu)978-3-540-30492-0
    DOI - pysyväislinkit
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2005-11-29; 2005-12-02 - 5th International Conference on Integrated Formal Methods, IFM2005
    Kesto: 29 marraskuuta 20052 joulukuuta 2005

    Konferenssi

    Konferenssiconference; 2005-11-29; 2005-12-02
    Ajanjakso29/11/0502/12/05

    Viittausmuodot