VERIFIKASI PROTOKOL CTP (COMMAND TRANSFER PROTOCOL) MENGGUNAKAN SPIN/PROMELA - , ERVIN KUSUMA DEWI ([Yogyakarta] : Universitas Gadjah Mada, 2014)