Keterangan Publikasi
| Judul | Verifying Vaccine Supply Chain System in Indonesia Using Linear-Time Temporal Logic |
| Tahun | 2018 |
| Semua Penulis | Muhammad Fikri Suyudi Wikatama, Muhammad Arzaki, Yanti Rusmawati |
| Penulis | MZI |
| Jurnal | 2018 6th International Conference on Information and Communication Technology (ICoICT) |
| Peringkat Jurnal | |
| Jenis | Prosiding Internasional |
| Lab Riset | COMPUTING |
| Mitra |