Structuring and Verifying Distributed Algorithms

Kaisa Sere, Marina Walden

Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

AlkuperäiskieliEnglanti
Sivut193-218
JulkaisuNordic Journal of Computing
Vuosikerta8
Numero2
TilaJulkaistu - 2001
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Viittausmuodot