Budiarto, Raden, Indonesia

• Jurnal Ilmiah Komputasi Vol. 16 No. 3 (2017): Jurnal Ilmiah Komputasi Volume: 16 No. 3, Desember 2017 - Sistem Informasi
  Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra
  Abstract  PDF