Budiarto, R., & Dikaimin. (2017). Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra. Jurnal Ilmiah Komputasi, 16(3), 175–186. Retrieved from https://ejournal.jak-stik.ac.id/index.php/komputasi/article/view/96