Keterangan Publikasi
| Judul | Reasoning about Traffic Signals Controller for Intersection with Contraflow Lanes for Bus Rapid Transit Using Linear-time Temporal Logic |
| Tahun | 2018 |
| Semua Penulis | M Arzaki, Y Rusmawati, AK Kusnadi, SA Atmawardhana |
| Penulis | MZI |
| Jurnal | 2018 International Conference on Advanced Computer Science and Information Systems (ICACSIS) |
| Peringkat Jurnal | |
| Jenis | Prosiding Internasional |
| Lab Riset | COMPUTING |
| Mitra |