Verifikasi Dua Varian Protokol Ad hoc On demand Distance Vector dengan UPPAAL
| Main Authors: | Suzanti, Ika Oktavia, Pulungan, Reza |
|---|---|
| Other Authors: | IndoCEISS |
| Format: | Article info application/pdf eJournal |
| Bahasa: | eng |
| Terbitan: |
Indonesian Computer, Electronics, and Instrumentation Support Society
, 2015
|
| Online Access: |
https://journal.ugm.ac.id/ijccs/article/view/6636 https://journal.ugm.ac.id/ijccs/article/view/6636/5184 |
Internet
https://journal.ugm.ac.id/ijccs/article/view/6636https://journal.ugm.ac.id/ijccs/article/view/6636/5184
Lokasi
| Koleksi | IJCCS (Indonesian Journal of Computing and Cybernetics Systems) |
|---|---|
| Gedung | Perpustakaan Pusat Universitas Gadjah Mada |
| Institusi | Universitas Gadjah Mada |
| Kota | SLEMAN |
| Provinsi | DAERAH ISTIMEWA YOGYAKARTA |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |