Download

verifikasi formal algoritma terdistribusi untuk masalah alokasi kanal