RUSDIYANTO, RUSDIYANTO (2011) VERIFIKASI ALGORITMA DISTRIBUTED MUTUAL EXCLUSION DENGAN PROMELA/SPIN. Skripsi thesis, Uniniversitas Hasanuddin.