Budiarto R, Dikaimin. Implementasi Semantic-Aware Model Checker Untuk Mendeteksi Deep Bugs Pada Paxos Protocol Apache Cassandra. jikstik [Internet]. 2017 Dec. 5 [cited 2024 May 19];16(3):175-86. Available from: https://ejournal.jak-stik.ac.id/index.php/komputasi/article/view/96