Havsa IU. UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE. Jurnal Ilmu Komputer dan Informasi [Internet]. 2013 Oct. 21 [cited 2025 Apr. 15];6(1):11-6. Available from: https://jiki.cs.ui.ac.id/index.php/jiki/article/view/212