Återgå till huvudnavigering Återgå till sök Gå direkt till huvudinnehållet

Verification of a distributed algorithm due to Tajibnapis

Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskaplig

OriginalspråkEngelska
Titel på värdpublikationProceedings 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