MODEL CHECKING PADA PROTOKOL BERMAN DAN GARAY
| Main Author: | Huda, Sheila Nurul; Jurusan Teknik Informatika, Fakultas Teknologi Industri,Universitas Islam Indonesia |
|---|---|
| Format: | Article info application/pdf eJournal |
| Bahasa: | eng |
| Terbitan: |
Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia
, 2012
|
| Online Access: |
http://journal.uii.ac.id/index.php/Snati/article/view/2659 http://journal.uii.ac.id/index.php/Snati/article/view/2659/2438 |
Internet
http://journal.uii.ac.id/index.php/Snati/article/view/2659http://journal.uii.ac.id/index.php/Snati/article/view/2659/2438
Lokasi
| Koleksi | Seminar Nasional Aplikasi Teknologi Informasi (SNATI) |
|---|---|
| Gedung | Perpustakaan Universitas Islam Indonesia |
| Institusi | Universitas Islam Indonesia |
| Kota | SLEMAN |
| Provinsi | DAERAH ISTIMEWA YOGYAKARTA |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |