Verification of a distributed algorithm due to Tajibnapis

Kaisa Sere, Marina Walden

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 5th Nordic Workshop on Program Correctness (NWPC'93)
JulkaisupaikkaTurku, Finland
Sivut161-172
TilaJulkaistu - 1994
OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

Viittausmuodot