Structuring and Verifying Distributed Algorithms

Kaisa Sere, Marina Waldén

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

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

Citera det här