Structuring and Verifying Distributed Algorithms

Kaisa Sere, Marina Walden

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

OriginalspråkEngelska
Sidor (från-till)193-218
TidskriftNordic Journal of Computing
Volym8
Utgåva2
StatusPublicerad - 2001
MoE-publikationstypA1 Tidskriftsartikel-refererad

Citera det här