BUDIARTO, R.; DIKAIMIN. Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra. Jurnal Ilmiah Komputasi, [S. l.], v. 16, n. 3, p. 175–186, 2017. Disponível em: https://ejournal.jak-stik.ac.id/index.php/komputasi/article/view/96. Acesso em: 19 may. 2024.