Nugraheni, Cecilia E.
-
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2006 - SNATI 2006 : Bidang Umum
Mutual Exclusion Verification of Parameterized Reader-Writer Algorithm: A Case Study
Abstract PDF
Prosiding Seminar Nasional Aplikasi Teknologi Informasi (SNATI) saat ini telah berhenti terbit. Prosiding seminar terakhir diterbitkan tahun 2019, tahun terakhir penyelenggaraan SNATI oleh Jurusan Informatika UII. Sejak tahun 2021, nama SNATI telah dialihkan pada Jurnal SNATI (Sains, Nalar, dan Aplikasi Teknologi Informasi) yang dapat diakses di https://journal.uii.ac.id/jurnalsnati.
Prosiding-prosiding SNATI tahun-tahun sebelumnya masih dapat diakses dan dibaca di situs ini.