VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND DISTANCE VECTOR DENGAN UPPAAL - , Ika Oktavia Suzanti ([Yogyakarta] : Universitas Gadjah Mada, 2014)