Verification of a distributed algorithm due to Tajibnapis

Kaisa Sere, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskaplig

OriginalspråkEngelska
Titel på gästpublikationProceedings of the 5th Nordic Workshop on Program Correctness (NWPC'93)
UtgivningsortTurku, Finland
Sidor161-172
StatusPublicerad - 1994
MoE-publikationstypB3 Ej refererad artikel i konferenshandlingar

Citera det här