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