Budiarto, R. and Dikaimin (2017) “Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra”, Jurnal Ilmiah Komputasi, 16(3), pp. 175–186. Available at: https://ejournal.jak-stik.ac.id/index.php/komputasi/article/view/96 (Accessed: 19 May 2024).